Results 241 to 250 of about 785,300 (287)

Logical connectives for intuitionistic propositional logic

Journal of Symbolic Logic, 1971
In classical propositional logic it is well known that {7, ⊃ } is a functionally complete set with respect to a two-valued truth function modeling. I.e. all definable logical connectives are definable from 7 and ⊃. Other modelings of classical type propositional logics may have different functionally complete sets; for example, multivalued truth ...
openaire   +3 more sources

A novel plausible reasoning based on intuitionistic fuzzy propositional logic and its application in decision making

Fuzzy Optimization and Decision Making, 2020
Xinxin Wang, Zeshui Xu, Xunjie Gou
semanticscholar   +1 more source

Hennessy-Milner Properties for (Modal) Bi-intuitionistic Logic

Workshop on Logic, Language, Information and Computation, 2019
Jim de Groot, D. Pattinson
semanticscholar   +1 more source

Falsification, natural deduction and bi-intuitionistic logic

Journal of Logic and Computation, 2016
H. Wansing
semanticscholar   +1 more source

Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq

Journal of automated reasoning, 2017
P. Boutry, Charly Gries, Julien Narboux, P. Schreck   +3 more
semanticscholar   +1 more source

ANALYTIC CUT AND INTERPOLATION FOR BI-INTUITIONISTIC LOGIC

The Review of Symbolic Logic, 2016
T. Kowalski, H. Ono
semanticscholar   +1 more source

Bi-Simulating in Bi-Intuitionistic Logic

Studia Logica: An International Journal for Symbolic Logic, 2016
Guillermo Badia
semanticscholar   +1 more source

A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC

The Review of Symbolic Logic, 2016
Y. Shramko
semanticscholar   +1 more source

Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics

Studia Logica: An International Journal for Symbolic Logic, 2018
T. Piecha, P. Schroeder-Heister
semanticscholar   +1 more source

Intuitionistic Logic

1983
openaire   +4 more sources