A generalization of ordered-pair semantics

DOI10.1007/978-3-030-88708-7_12OpenAlexW3203722266MaRDI QIDQ2148827

Hitoshi Omori, Jonas Rafael Becker Arenhart

Publication date: 24 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-88708-7_12

zbMATH Keywords

many-valued logicclassical logicdialetheism\textbf{K3}\textbf{LP}

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cites Work

• Tolerant, classical, strict
• The logic of pragmatic truth
• Sette's logics, revisited
• Propositional calculus for contradictory deductive systems
• A propositional calculus for inconsistent deductive systems
• On the discussive conjunction in the propositional calculus for inconsistent deductive systems
• Pragmatic truth and approximation to truth
• Ordered pair semantics and negation in LP
• An alternative approach for quasi-truth
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item