JGXYZ: an ATP system for gap and glut logics

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

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

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

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

• The logic of paradox
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)