The inverse method application for non-classical logics
type: Item
instance of: scholarly article
zbMATH Open document ID: 1346.03036
author: Vladimir Pavlov
author: Vadim Pak
publication date: 2016-05-19T00:00:00Z
full work available at URL: v18no2p181.html
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F55
zbMATH DE Number: 6582275
zbMATH Keywords: automated reasoning
zbMATH Keywords: theorem proving
zbMATH Keywords: intuitionistic logic
zbMATH Keywords: inverse method
MaRDI profile type: Publication
Recommended article: Q4537975
Recommended article: Theorem prover for intuitionistic logic based on the inverse method
Recommended article: Computer Science Logic
Recommended article: Deriving Inverse Operators for Modal Logic
Recommended article: Logic for Programming, Artificial Intelligence, and Reasoning
Recommended article: Inverse negation and classical implicative logic
Recommended article: Proofs and countermodels in non-classical logics
title: The inverse method application for non-classical logics
published in: Nonlinear Phenomena in Complex Systems (Minsk)
description: scientific article; zbMATH DE number 6582275