Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT

DOI10.1007/978-3-319-98797-2_7zbMath1439.03066OpenAlexW2896714085MaRDI QIDQ3305339

Bruno Woltzenlogel Paleo

Publication date: 6 August 2020

Published in: Trends in Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-98797-2_7

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Paraconsistent logics (03B53)

Uses Software

• Coq
• SMT-LIB
• z3
• smt
• Gen2sat
• Archive Formal Proofs
• GoedelGod
• intuit

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Prioritized repairing and consistent query answering in relational databases
• Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
• Recent trends in algebraic development techniques. 22nd international workshop, WADT 2014, Sinaia, Romania, September 4--7, 2014. Revised selected papers
• Scalable uncertainty management. Second international conference, SUM 2008, Naples, Italy, October 1--3, 2008. Proceedings
• On Jaśkowski's discussive logics
• Distance-based paraconsistent logics
• Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi
• Higher-Order Modal Logics: Automation and Applications
• Database Repairing and Consistent Query Answering
• Interacting with Modal Logics in the Coq Proof Assistant
• SAT Modulo Intuitionistic Implications
• On the logic of theory change: Partial meet contraction and revision functions
• Logics of Formal Inconsistency
• Introduction to the Theory of Voting

This page was built for publication: Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT