Results 311 to 320 of about 1,012,276 (331)

Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents

International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2009
L. Pinto, Tarmo Uustalu
semanticscholar   +1 more source

Propositional Logic

2006
  +4 more sources

Molecules with a sense of logic: a progress report

Chemical Society Reviews, 2015
Joakim Andréasson, Uwe Pischel
exaly  

A Schemata Calculus for Propositional Logic

International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2009
Vincent Aravantinos, R. Caferra, N. Peltier   +2 more
semanticscholar   +1 more source

Reasoning Processes in Propositional Logic

Journal of Logic, Language and Information, 2010
Claes Strannegård, Simon Ulfsbäcker, David Hedqvist, T. Gärling   +3 more
semanticscholar   +1 more source

Molecular logic and computing

Nature Nanotechnology, 2007
Amilra Prasanna De Silva
exaly  

Enzyme-based logic systems for information processing

Chemical Society Reviews, 2010
Evgeny Katz, Vladimir Privman
exaly  

Propositional Logic

2014
openaire   +1 more source

Quantitative and logic modelling of molecular and gene networks

Nature Reviews Genetics, 2015
Nicolas Le Novère
exaly  

Smart molecules at work—mimicking advanced logic operations

Chemical Society Reviews, 2010
Joakim Andréasson, Uwe Pischel
exaly