scientific article; zbMATH DE number 7655660

MaRDI QIDQ5878359zbMATH OpenFDO

Authors Grigory Olkhovikov

Publication date 21 February 2023

Full work available at URL http://www.collegepublications.co.uk/downloads/ifcolog00057.pdf#section*.8

zbMATH Keywords

completenessfirst-order logicNelson's logicparaconsistent logic

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• On certain generalizations of Čech-completeness
• Some Turing-complete extensions of first-order logic
• Completeness theorems for first-order logic analysed in constructive type theory
• scientific article; zbMATH DE number 1868521
• A proof of completeness for continuous first-order logic
• Hybrid and first-order complete extensions of CaRet
• scientific article; zbMATH DE number 1231516
• An extension of ono's completeness result
• A notion of functional completeness for first-order structure
• A notion of functional completeness for first order structures. II: Quasiprimality

Cited in

(9)

• An extension of connexive logic C
• Connexive logic, connexivity, and connexivism: remarks on terminology
• Negation-cohesive connectives: a generalization of connexivity
• Quantifiers in connexive logic (in general and in particular)
• Bi-connexive logic, bilateralism, and negation inconsistency
• Ten open problems in connexive logic
• Kamide is in America, Moisil and Leitgeb are in Australia
• Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics
• Correspondence of contradictions in the constructive connexive calculus \textbf{C}

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5878359)