On non-deterministic functional completeness

DOI10.1007/978-3-031-56595-3_3MaRDI QIDQ6623946

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-valued semantics: why and how
• A semantical analysis of the calculi \(C_n\)
• Handbook of philosophical logic. Vol. 6
• Non-deterministic Multiple-valued Structures
• Quasi-matrix logic as a paraconsistent logic for dubitable information
• Syntactical and semantical properties of simple type theory
• Modal semantics without possible worlds
• Classical negation can be expressed by one of its halves
• Logics of Formal Inconsistency
• REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS
• A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic

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