Inconsistency lemmas in algebraic logic
Work
Year: 2013
Type: article
Abstract: In this paper, the inconsistency lemmas of intuitionistic and classical propositional logic are formulated abstractly. We prove that, when a (finitary) deductive system is algebraized by a variety , t... more
Source: Mathematical logic quarterly
Author James Raftery
Institution University of Pretoria
Cites: 31
Cited by: 21
Related to: 10
FWCI: 0.571
Citation percentile (by year/subfield): 90.09
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green