JGXYZ: an ATP system for gap and glut logics

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

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)

Cites Work

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

Cited In (1)

• JGXYZ

Uses Software

• VAMPIRE
• MUltlog

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2305437)