Results 281 to 290 of about 1,012,276 (331)

Functional Constructions between reaction Systems and Propositional Logic

International Journal of Foundations of Computer Science, 2013
A. Salomaa
semanticscholar   +1 more source

Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models

Journal of automated reasoning, 2013
Mauro Ferrari, Camillo Fiorentini, G. Fiorino   +2 more
semanticscholar   +1 more source

Rewriting with Linear Inferences in Propositional Logic

International Conference on Rewriting Techniques and Applications, 2013
Anupam Das
semanticscholar   +1 more source

Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic

Studia Logica: An International Journal for Symbolic Logic, 2013
M. Kaminski, N. Francez
semanticscholar   +1 more source

The Theory and Applications of Generalized Complex Fuzzy Propositional Logic

Soft Computing - A Fusion of Foundations, Methodologies and Applications, 2013
D. Tamir, Mark Last, A. Kandel
semanticscholar   +1 more source

Propositional Logic

Quentin Charatan, Aaron Kans
  +4 more sources

Propositional Logic

2011
Daizhan Cheng, Hongsheng Qi, Zhiqiang Li
  +4 more sources

Using Propositional Logic for Requirements Verification of Service Workflow

IEEE Transactions on Industrial Informatics, 2012
Lida Xu, Wattana Viriyasitavat, Puripant Ruchikachorn, Andrew P. Martin   +3 more
semanticscholar   +1 more source

Propositional primal logic with disjunction

Journal of Logic and Computation, 2014
L. Beklemishev, Y. Gurevich
semanticscholar   +1 more source

Logic-in-memory based on an atomically thin semiconductor

Nature, 2020
Guilherme Migliato Marega, Ahmet Avsar, Zhenyu Wang   +2 more
exaly