Die Grundlagen der Arithmetik §§82–83
Definability in Boolean bunched logic
Deducibility, Consistency, Maxi-consistent sets
CSE675_10_Quiz_1_Answers
CS3234 Logic and Formal Systems
Identity and Harmony revisited ∗ Stephen Read University of St Andrews
Homework #5
Handling Exceptions in nonmonotonic reasoning
Intuitionistic and Modal Logic
Introduction to Linear Logic
Inferential Erotetic Logic meets Inquisitive Semantics. Research
Inductive Types in Constructive Languages
Independence logic and tuple existence atoms
In terlea v ed
page 135 ADAPTIVE LOGICS FOR QUESTION EVOCATION
On Weak Ground
