Sage Journals: Discover world-class research

Retricted access

Research article

First published 1979-9

The Use of Propositional Calculus in Architectural Design

J Moučka

Environment and Planning B: Urban Analytics and City Science

Retricted access

Research article

First published 2013-8

A Resolution Calculus for First-order Schemata

Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier

Fundamenta Informaticae

Retricted access

Research article

First published 1988-10

Simulation of problems in propositional calculus

V. V. Bapeswara Rao

SIMULATION

Retricted access

Research article

First published 2004-06

Constructing Political Logic

Dina A. Zinnes

Journal of Conflict Resolution

Retricted access

Research article

First published 1997-8

Extension Rule for Non-Clausal Propositional Calculus

Kazimir Majorinc

Fundamenta Informaticae

Retricted access

Research article

First published 2000-5

Succinctness Gap between Monadic Logic and Duration Calculus

A. Rabinovich

Fundamenta Informaticae

Retricted access

Research article

First published 2015-10

A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic

Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano

Fundamenta Informaticae

Retricted access

Research article

First published 2010-7

SAT as a Programming Environment for Linear Algebra

Marian Srebrny, Lidia Stepień

Fundamenta Informaticae

Retricted access

Research article

First published 1993

On the Algebraization of Some Gentzen Systems 1

Jordi Rebagliato, Ventura Verdú

Fundamenta Informaticae

Retricted access

Research article

First published 1983

Remarks on Sequents Defined by Means of Information Systems

Miroslav Novotný

Fundamenta Informaticae

Search results