JGXYZ: an ATP system for gap and glut logics
From MaRDI portal
Publication:2305437
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
Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (1)
Uses Software
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