„Propositional Logic“
Suchergebnisse
395 Treffer
-
A Propositional Dynamic Logic with Qualitative Probabilities
-
A secondary semantics for Second Order Intuitionistic Propositional Logic
-
Refutation-Aware Gentzen-Style Calculi for Propositional Until-Free Linear-Time Temporal Logic
-
Simple characterization of functionally complete one‐element sets of propositional connectives
-
A topological characterization of consistency of logic theories in propositional logic
-
On Löb algebras
-
Excluded Middle versus Choice in a topos
-
Propositional Manifolds And Logical Cohomology
-
Distinguishing standard SBL‐algebras with involutive negations by propositional formulas
-
The Classification of Propositional Calculi
-
Intuitionistic Propositional Logic without 'Contraction' but with 'Reductio'
-
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion
-
A Tutorial on Stålmarck's Proof Procedure for Propositional Logic
-
Timing Analysis of Combinational Circuits in Intuitionistic Propositional Logic
-
Quantified Propositional Logic and the Number of Lines of Tree-Like Proofs
-
Completeness and Decidability Results for Some Propositional Modal Logics Containing “Actually” Operators
-
Applying Propositional Logic to Workflow Verification
-
A Cut-Free Gentzen Formulation of Basic Propositional Calculus
-
An Algebraic Approach to Propositional Fuzzy Logic
-
Propositional Q-Logic