MAXIMALITY OF LOGIC WITHOUT IDENTITY
From MaRDI portal
Publication:6123583
DOI10.1017/jsl.2023.2arXiv2203.08722OpenAlexW4313897140MaRDI QIDQ6123583
Xavier Caicedo, Carles Noguera, Guillermo Badia
Publication date: 5 April 2024
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2203.08722
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Definability properties and the congruence closure
- Logical operations and invariance
- Which logic is the right logic?
- On elementary equivalence for equality-free logic
- Invariance and definability, with and without equality
- Expressivity of imperfect information logics without identity
- Hanf numbers for fragments of L\(_{\infty \omega}\)
- Solvable cases of the decision problem
- Categoricity without equality
- On the semantics of the Henkin quantifier
- Linear reasoning. A new form of the Herbrand-Gentzen theorem
- Lindstrom theorems for fragments of first-order logic
- Sentences true in all constructive models
- Omitting uncountable types and extensions of Elementary logic
- The theorems of beth and Craig in abstract model theory II. Compact logics
- The Härtig quantifier: a survey
- Two notes on abstract model theory. I. Properties invariant on the range of definable relations between structures
- Axioms for abstract model theory
- Equality-free logic: the method of diagrams and preservation theorems
- AN EXPOSITION OF THE COMPACTNESS OF
- Ehrenfeucht-Fraïssé games without identity
- LOGICALITY AND MODEL CLASSES
- The characterization of monadic logic
- Syntactical and semantical properties of generalized quantifiers
- On Extensions of Elementary Logic
- Logic, logics, and logicism
This page was built for publication: MAXIMALITY OF LOGIC WITHOUT IDENTITY
