Intuitionistic Logic from a Metainferential Perspective
Year: 2025
Type: article
Abstract: This paper introduces a metainferential version of intuitionistic logic. I work on the framework proposed by some logicians of Buenos Aires, who defend that a logic should be defined in terms of inferences and metainferences of growing complexity. Three logical systems are presented and proved to be adequate from an intuitionistic point of view
Source: Logic and Logical Philosophy
Author: Miguel Álvarez Lisboa
Language: English
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: diamond
OpenAlex ID: W4408908422