Predicate Logics on Display
presenting a uniform proof-theoretic schema for both substructural subsystems of classical first-order logic, FOL and various subsystems of FOL obtained by relaxing Tarski’s truth definition for the existential and universal quantifiers, and
introducing these quantifiers into the framework of DL.
KeywordsModal Logic Predicate Logic Structural Rule Sequent Calculus Axiom Schema
Unable to display preview. Download preview PDF.