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

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 (4)

• The inverse method
• Inverse negation and classical implicative logic
• Title not available (Why is that?)
• A Logical Characterization of Forward and Backward Chaining in the Inverse Method

Recommendations

• Title not available (Why is that?) 👍 👎
• Proofs and countermodels in non-classical logics 👍 👎
• Computer Science Logic 👍 👎
• Logic for Programming, Artificial Intelligence, and Reasoning 👍 👎
• Deriving Inverse Operators for Modal Logic 👍 👎
• Theorem prover for intuitionistic logic based on the inverse method 👍 👎
• Inverse negation and classical implicative logic 👍 👎

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)