On non-deterministic functional completeness

DOI10.1007/978-3-031-56595-3_3MaRDI QIDQ6623946zbMATH OpenFDO

Authors Arnon Avron

Publication date 24 October 2024

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Cites work

• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 1303449 (Why is no real title available?)
• scientific article; zbMATH DE number 536898 (Why is no real title available?)
• scientific article; zbMATH DE number 1735924 (Why is no real title available?)
• scientific article; zbMATH DE number 1765698 (Why is no real title available?)
• scientific article; zbMATH DE number 2196614 (Why is no real title available?)
• scientific article; zbMATH DE number 2209892 (Why is no real title available?)
• scientific article; zbMATH DE number 4187771 (Why is no real title available?)
• scientific article; zbMATH DE number 3073052 (Why is no real title available?)
• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
• A semantical analysis of the calculi \(C_n\)
• Classical negation can be expressed by one of its halves
• Generalization of Kalmar's method for quasi-matrix logic
• Handbook of philosophical logic. Vol. 6
• Logics of formal inconsistency
• Modal semantics without possible worlds
• Multi-valued semantics: why and how
• Non-deterministic Multiple-valued Structures
• Quasi-matrix logic as a paraconsistent logic for dubitable information
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
• Syntactical and semantical properties of simple type theory
• Theory of effective propositional paraconsistent logics

This page was built for publication: On non-deterministic functional completeness

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