Open formulas and the empty domain

&
Archive for Mathematical Logic 12 (1-2):78-84 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01982052

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A note on satisfaction, truth and the empty domain.Timothy Williamson - unknown
A note on truth, satisfaction and the empty domain.Timothy Williamson - 1999 - Analysis 59 (1):3–8.
Strict embedding of the elementary ontology into the monadic second-order calculus of predicates admitting the empty individual domain.Vladimir A. Smirnov - 1987 - Studia Logica 46 (1):1 - 15.
The complexity of definability by open first-order formulas.Carlos Areces, Miguel Campercholi, Daniel Penazzi & Pablo Ventura - 2020 - Logic Journal of the IGPL 28 (6):1093-1105.
Decidability and Completeness for Open Formulas of Membership Theories.Dorella Bellè & Franco Parlamento - 1995 - Notre Dame Journal of Formal Logic 36 (2):304-318.
Stable Formulas in Intuitionistic Logic.Nick Bezhanishvili & Dick de Jongh - 2018 - Notre Dame Journal of Formal Logic 59 (3):307-324.
Ist die klassische Logik im leeren Individuenbereich gültig?K. Berka - 1969 - Man and World 2 (2):263-268.
Modal Formulas True at Some Point in Every Model.Lloyd Humberstone - 2008 - Australasian Journal of Logic 6:70-82.
From Emptiness to Hunger.G. J. Bednar - 2016 - Renascence 68 (3):194-209.
An argument concerning the unknowable.Leon Horsten - 2009 - Analysis 69 (2):240-242.
Grounding rules and (hyper-)isomorphic formulas.Francesca Poggiolesi - 2020 - Australasian Journal of Logic 17 (1):70-80.
Equivalence of the Frame and Halting Problems.Eric Dietrich & Chris Fields - 2020 - Algorithms 13 (175):1-9.
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
Some weak fragments of {${\rm HA}$} and certain closure properties.Morteza Moniri & Mojtaba Moniri - 2002 - Journal of Symbolic Logic 67 (1):91-103.
Coverings by open cells.Mário J. Edmundo, Pantelis E. Eleftheriou & Luca Prelli - 2014 - Archive for Mathematical Logic 53 (3-4):307-325.

Analytics

Added to PP
2020-12-03

Downloads
5 (#1,510,250)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Existence, the square of opposites, and two-dimensional logic.Ingolf Max - 1994 - Logic and Logical Philosophy 2 (5):135-149.

Add more citations

References found in this work

No references found.

Add more references