A model with exactly one undefinable element
Gebhard Fuhrken (1968)
Colloquium Mathematicae
Similarity:
Gebhard Fuhrken (1968)
Colloquium Mathematicae
Similarity:
Grzegorz Bancerek (2014)
Formalized Mathematics
Similarity:
We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages: propositional calculus, quantifier calculus with equality, and finally proper algorithmic logic. For each stage appropriate signature and theory are defined. Propositional calculus and quantifier calculus with equality are explored according to [24]. A language is introduced with language signature including free variables, substitution, and equality. Algorithmic logic requires a bialgebra...
Hiroakira Ono, Cecylia Rauszer (1982)
Banach Center Publications
Similarity:
Guus Broesterhuizen (1975)
Colloquium Mathematicae
Similarity:
Itaï Ben Yaacov, Alexander Usvyatsov (2007)
Fundamenta Mathematicae
Similarity:
We observe that certain classical results of first order model theory fail in the context of continuous first order logic. We argue that this happens since finite tuples in a continuous structure may behave as infinite tuples in classical model theory. The notion of a d-finite tuple attempts to capture some aspects of the classical finite tuple behaviour. We show that many classical results involving finite tuples are valid in continuous logic upon replacing "finite" with "d-finite"....
B. P. Alimpić (1968)
Matematički Vesnik
Similarity:
Guillermo Badia (2018)
Bulletin of the Section of Logic
Similarity:
We characterize the non-trivial substructural logics having the variable sharing property as well as its strong version. To this end, we find the algebraic counterparts over varieties of these logical properties.
Mariusz Giero (2016)
Formalized Mathematics
Similarity:
This article introduces propositional logic as a formal system ([14], [10], [11]). The formulae of the language are as follows φ ::= ⊥ | p | φ → φ. Other connectives are introduced as abbrevations. The notions of model and satisfaction in model are defined. The axioms are all the formulae of the following schemes α ⇒ (β ⇒ α), (α ⇒ (β ⇒ γ)) ⇒ ((α ⇒ β) ⇒ (α ⇒ γ)), (¬β ⇒ ¬α) ⇒ ((¬β ⇒ α) ⇒ β). Modus ponens is the only derivation rule. The soundness theorem and the strong completeness theorem...
Jan Woleński (2017)
Bulletin of the Section of Logic
Similarity:
This paper deals with the problem of universality property of logic. At first, this property is analyzed in the context of first-order logic. Three senses of the universality property are distinguished: universal applicability, topical neutrality and validity (truth in all models). All theses senses can be proved to be justified. The fourth understanding, namely the amount of expressive power, is connected with the criticism of the first-order thesis: first-order logic is the logic....
Markovic, Zoran (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Daishi Yazaki (2019)
Bulletin of the Section of Logic
Similarity:
The main purpose of this paper is to give alternative proofs of syntactical and semantical properties, i.e. the subformula property and the nite model property, of the sequent calculi for the modal logics K4.3, KD4.3, and S4.3. The application of the inference rules is said to be acceptable, if all the formulas in the upper sequents are subformula of the formulas in lower sequent. For some modal logics, Takano analyzed the relationships between the acceptable inference rules and semantical...
Daniele Mundici (1984)
Fundamenta Mathematicae
Similarity:
Josep Font (1993)
Banach Center Publications
Similarity:
The aim of this paper is to discuss the motivation for a new general algebraic semantics for deductive systems, to introduce it, and to present an outline of its main features. Some tools from the theory of abstract logics are also introduced, and two classifications of deductive systems are analysed: one is based on the behaviour of the Leibniz congruence (the maximum congruence of a logical matrix) and the other on the behaviour of the Frege operator (which associates to every theory...
Krister Segerberg (1982)
Banach Center Publications
Similarity:
Kosta Došen (1986)
Publications de l'Institut Mathématique
Similarity: