Results 291 to 300 of about 1,151,417 (307)

PROPOSITIONAL LOGIC

2010
openaire   +1 more source

Some properties of fuzzy reasoning in propositional fuzzy logic systems

Information Sciences, 2010
exaly  

Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic

Studia Logica, 2013
Michael Kaminski, Nissim Francez
exaly  

The propositional dynamic logic of deterministic, well-structured programs

Theoretical Computer Science, 1983
exaly  

A formalization of the propositional calculus of H-B logic

Studia Logica, 1974
exaly  

A Computational Study of Satisfiability Algorithms for Propositional Logic

ORSA Journal on Computing, 1994
exaly  

The Correspondence between Propositional Modal Logic with Axiom $\Box\varphi \leftrightarrow \Diamond \varphi $ and the Propositional Logic

Lecture Notes in Computer Science, 2014
exaly  

Lattice-valued modal propositional logic and its completeness

Science China Information Sciences, 2010
exaly  

Propositional logic

1997
openaire   +1 more source

CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT

Zeitschrift Für Mathematische Logik Und Grundlagen Der Mathematik, 1992
exaly