Connexive restricted quantification

DOI10.1215/00294527-2020-0015zbMath1472.03005OpenAlexW3090506805MaRDI QIDQ2656207

Nissim Francez

Publication date: 10 March 2021

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1601280399

zbMATH Keywords

logical consequencerestricted quantificationparaconsistentconnexive algebraconnexive class theoryfirst-order connexive logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic inspired by natural language: quantifiers as subnectors
• Logic: a history of its central concepts
• Relevant restricted quantification
• Negation as cancellation, and connexive logic
• Logics of nonsense and Parry systems
• Logical Pluralism
• Connexive class logic
• Constructible falsity

This page was built for publication: Connexive restricted quantification