A Simple Logical Matrix and Sequent Calculus for Parry's Logic of Analytic Implication.

Damián Enrique Szmuc

Published in: Stud Logica (2021)

Keyphrases

sequent calculus
cut elimination
linear logic
inference rules
logical framework
modal logic
logical representation
natural deduction
wide class
linear time temporal logic
logical operations
truth values
probabilistic logic
relational databases
logic programming
low dimensional
graphical models
software engineering