The inverse method application for non-classical logics

MaRDI QIDQ2806784zbMATH OpenFDO

Authors Vladimir Pavlov, Vadim Pak

Publication date 19 May 2016

Published in Nonlinear Phenomena in Complex Systems (Minsk) (Search for Journal in Brave)

Full work available at URL http://www.j-npcs.org/abstracts/vol2015/v18no2/v18no2p181.html

zbMATH Keywords

automated reasoningintuitionistic logicinverse methodtheorem proving

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35) Intuitionistic mathematics (03F55)

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

(14)

• A forward unprovability calculus for intuitionistic propositional logic
• Theorem prover for intuitionistic logic based on the inverse method
• The inverse method
• Inverse negation and classical implicative logic
• Decidability of the class E by Maslov's inverse method
• A Logical Characterization of Forward and Backward Chaining in the Inverse Method
• scientific article; zbMATH DE number 3985190 (Why is no real title available?)
• scientific article; zbMATH DE number 1348471 (Why is no real title available?)
• scientific article; zbMATH DE number 1759254 (Why is no real title available?)
• WhaleProver: first-order intuitionistic theorem prover based on the inverse method
• Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
• Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
• Logic for Programming, Artificial Intelligence, and Reasoning
• What is 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)