Results 231 to 240 of about 3,377 (263)

Reducing signed propositional formulas

Soft Computing, 1999
Manuel Ojeda-Aciego, A Valverde, Ojeda-Aciego M   +2 more
exaly  

The Structure of Propositions

2016
openaire   +1 more source

Combinatorics of first order structures and propositional proof systems

Archive for Mathematical Logic, 2004
Jan Krajíček
exaly  

The propositional dynamic logic of deterministic, well-structured programs

Theoretical Computer Science, 1983
Joseph Y Halpern, John H Reif
exaly  

Computations in fragments of intuitionistic propositional logic

Journal of Automated Reasoning, 1991
Dick De Jongh, De Jongh Dick
exaly  

A High-Level Control Structure Recovery Method Based on Propositional Calculus

2009
Rongcai Zhao, Jianmin Pang
exaly  

On the counting complexity of propositional circumscription

Information Processing Letters, 2008
Arnaud Durand, Miki Hermann
exaly  

Defining Propositional Structures

2002
openaire   +1 more source

Against Structured Propositions

2015
openaire   +1 more source

If the real world were irrelevant, so to speak: The role of propositional truth-value in counterfactual sentence comprehension

Cognition, 2012
Mante S Nieuwland, Andrea E Martin
exaly