The inverse method application for non-classical logics

zbMATH Open1346.03036MaRDI QIDQ2806784FDOQ2806784

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

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

zbMATH Keywords

intuitionistic logictheorem provingautomated reasoninginverse method

Mathematics Subject Classification ID

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

Cited In (10)

• The inverse method
• Inverse negation and classical implicative logic
• Logic for Programming, Artificial Intelligence, and Reasoning
• Title not available (Why is that?)
• A Logical Characterization of Forward and Backward Chaining in the Inverse Method
• What is the inverse method?
• Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic
• Efficient Intuitionistic Theorem Proving with the Polarized Inverse Method
• Title not available (Why is that?)
• Decidability of the class E by Maslov's 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)