Suggested Topics within your search.
Suggested Topics within your search.
-
21
-
22“.... In this paper, we compare three sequent calculi for bi-intuitionistic propositional logic: (1) a basic standard...”
Get full text
Article -
23by Chung, Lung-ock.“... of propositional logics. By the phrase implication-negation fragment of a propositional logic, we understand...”
Published 1963
Get full text
Others -
24by Nemesszeghy, Ervin Aladar“...-classical propositional logics. These include the intuitionistic system developed by Heyting, the minimal...”
Published 1980
Get full text
-
25
-
26by Calardo, Erica“.... In our research we extend the investigation to some multi-modal propositional logics which combine tense...”
Published 2008
Get full text
-
27
-
28“... of which some new deduction system for classical propositional logic were defined. Here the notions...”
Get full text
Article -
29
-
30by Jiancheng Zhang“... and n-valued propositional logic systems are introduced. Moreover, sufficient and necessary conditions...”
Published 2010-01-01
Get full text
Article -
31“... in linguistic truth-valued lattice-valued propositional logic. Concretely, α-generalized semantic...”
Get full text
Article -
32
-
33
-
34
-
35“... is established in lattice-valued propositional logic system ℒ P(X) based on lattice implication...”
Get full text
Article -
36by David SherrySubjects: “...discursive practice, propositional logic, paradoxes of material implication...”
Published 2008-02-01
Get full text
Article -
37Subjects: “...logic query, propositional logic, predicate, relational database...”
Get full text
Article -
38by MARIO H. A. TASCHERISubjects: “...[en] PROPOSITIONAL LOGIC...”
Published 2009
Get full text
Get full text
Get full text
-
39
-
40