Results 261 to 270 of about 44,803 (280)

Modal companions of intermediate propositional logics

Studia Logica, 1992
Michael Zakharyaschev
exaly  

A note on cut-elimination for classical propositional logic

Archive for Mathematical Logic, 2021
exaly  

Classical Propositional Logic

openaire   +1 more source

Filter-based resolution principle for lattice-valued propositional logic LP(X)

Information Sciences, 2007
Yang Xu
exaly  

Isomorphic formulae in classical propositional logic

Mathematical Logic Quarterly, 2012
exaly  

A pragmatic interpretation of intuitionistic propositional logic

Erkenntnis, 1995
exaly  

Classical correlation polytopes and propositional logic

2005
openaire   +1 more source

Abstracting and Axiomatizing Classical Propositional Logic

2011
openaire   +1 more source

L-valued propositional logic Lvpl

Information Sciences, 1999
exaly  

A propositional logic with explicit fixed points

Studia Logica, 1981
exaly