The inverse method application for non-classical logics
From MaRDI portal
Publication:2806784
Recommendations
- scientific article; zbMATH DE number 1759254
- Theorem prover for intuitionistic logic based on the inverse method
- Computer Science Logic
- Deriving inverse operators for modal logic
- Logic for Programming, Artificial Intelligence, and Reasoning
- Inverse negation and classical implicative logic
- Proofs and countermodels in non-classical logics
Cited in
(13)- scientific article; zbMATH DE number 3985190 (Why is no real title available?)
- Logic for Programming, Artificial Intelligence, and Reasoning
- Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
- A forward unprovability calculus for intuitionistic propositional logic
- Decidability of the class E by Maslov's inverse method
- Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
- Inverse negation and classical implicative logic
- scientific article; zbMATH DE number 1759254 (Why is no real title available?)
- A Logical Characterization of Forward and Backward Chaining in the Inverse Method
- What is the inverse method?
- WhaleProver: first-order intuitionistic theorem prover based on the inverse method
- Theorem prover for intuitionistic logic based on the inverse method
- The inverse method
This page was built for publication: The inverse method application for non-classical logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2806784)
