On non-deterministic functional completeness

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

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

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

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)