JGXYZ: an ATP system for gap and glut logics

DOI10.1007/978-3-030-29436-6_31MaRDI QIDQ2305437zbMATH OpenOpenAlexFDO

Authors Geoff Sutcliffe, Francis Jeffry Pelletier

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)

Recommendations

• scientific article; zbMATH DE number 1614711
• scientific article; zbMATH DE number 517011
• Increasing the efficiency of automated theorem proving
• A generic ATMS
• MPTP 0.2: Design, implementation, and initial experiments

Cites work

• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 194679 (Why is no real title available?)
• scientific article; zbMATH DE number 1852927 (Why is no real title available?)
• scientific article; zbMATH DE number 3077773 (Why is no real title available?)
• 40 years of FDE: an introductory overview
• Classical First-Order Logic
• 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
• MUltlog 1.0: towards an expert system for many-valued logics
• Natural 3-valued logics—characterization and proof theory
• The logic of paradox
• The tableau-based theorem prover 3 T A P Version 4.0

Cited in

(1)

• JGXYZ

Describes a project that uses

Uses Software

• MUltlog
• VAMPIRE

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)