JGXYZ: an ATP system for gap and glut logics

DOI10.1007/978-3-030-29436-6_31OpenAlexW2969978453MaRDI QIDQ2305437

Francis Jeffry Pelletier, Geoff Sutcliffe

Publication date: 10 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29436-6_31

zbMATH Keywords

multi-valued logicATP systemgap logicglut logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

JGXYZ

Uses Software

• VAMPIRE
• MUltlog

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of paradox
• 40 years of FDE: an introductory overview
• Intuitive semantics for first-degree entailments and `coupled trees'
• K3, Ł3, LP, RM3, A3, FDE, M: How to Make Many-Valued Logics Work for You
• Natural 3-valued logics—characterization and proof theory
• MUltlog 1.0: Towards an expert system for many-valued logics
• The tableau-based theorem prover 3 T A P Version 4.0
• Classical First-Order Logic

This page was built for publication: JGXYZ: an ATP system for gap and glut logics