An investigation of the propositional calculus used in a particular system of logic

An investigation of the propositional calculus used in a particular system of logic

Bibliographic Details
Main Author:	Harrop, R.
Published:	University of Cambridge 1953
Subjects:	510
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.603791

Similar Items

Intermediate propositional logics
by: McKay, C. G.
Published: (1969)

Embedding dynamic logic in situation calculus
by: Permpoontanalarp, Yongyuth
Published: (1998)

Many-valued logics : a study of the relationship of propositional calculi and algebraic systems
by: Cuninghame-Green, Raymond
Published: (1960)

Investigations into the calculus of matrices
by: Ponting, F. W.
Published: (1953)

On the notion of negation in certain non-classical propositional logics
by: Nemesszeghy, Ervin Aladar
Published: (1980)

Cut-free sequent and tableau systems for propositional normal modal logics
by: Gore, Rajeev
Published: (1991)

Investigations into the fractional calculus
by: Maccone, C.
Published: (1980)

The Lazy Lambda Calculus : an investigation into the foundations of functional programming
by: Ong, C.-H. Luke
Published: (1988)

Generalized functions using the neutrix calculus
by: Kilicman, Adem
Published: (1995)

Investigations into the complexity of some propositional calculi
by: D'Agostino, Marcello
Published: (1992)

Malliavin calculus
by: Norris, J. R.
Published: (1985)

An axiom-free equation calculus
by: Goodstein, R. L.
Published: (1946)

The metatheory of the elementary equation calculus
by: Bundy, A.
Published: (1971)

Semantics and pragmatics of the lambda-calculus
by: Wadsworth, Christopher P.
Published: (1971)

A sequent calculus for propositional temporal logic with time gaps
by: Romas Alonderis
Published: (2011-12-01)

A labeled sequent calculus for propositional linear time logic
by: Romas Alonderis
Published: (2012-12-01)

Proof-search of propositional intuitionistic logic sequents by means of classical logic calculus
by: Romas Alonderis
Published: (2008-12-01)

The calculus according to S. F. Lacroix (1765-1843)
by: Domingues, Joâo Manuel Caramalho de Melo
Published: (2007)

Fermion stochastic calculus
by: Applebaum, D.
Published: (1984)

The partial lambda calculus
by: Moggi, Eugenio
Published: (1988)

A quantum stochastic calculus
by: Lindsay, J. M.
Published: (1985)

Martingales on manifolds and geometric Ito calculus
by: Darling, R. W. R.
Published: (1982)

Propositional calculus and binary calculus
by: Osvaldo Skliar, et al.
Published: (1990-01-01)

Stochastic calculus, gauge fixing, and the quantization of constrained systems
by: Leppard, Steven
Published: (2000)

Extended incidence calculus and its comparison with related theories
by: Liu, Weiru
Published: (1995)

The analysis of resource use in the lambda calculus by type inference
by: Courtenage, Simon
Published: (1996)

Relaxation theorems in the calculus of variations
by: Dacorogna, Bernard
Published: (1980)

Local minimizers in the calculus of variations
by: Taheri, Ali
Published: (1997)

Singular minimizers in the calculus of variations
by: Gratwick, Richard
Published: (2011)

A formalisation of the arithmetic of transfinite ordinals in a multisuccessor equation calculus
by: Williams, H. P.
Published: (1968)

Innocent game models of untyped lambda calculus
by: Ker, Andrew D.
Published: (2000)

Fractional calculus, fractional powers of operators and Mellin multiplier transforms
by: McBride, Adam C.
Published: (1994)

On some questions related to analytic functional calculus for commutative algebras
by: McClure, J. P.
Published: (1970)

Coherent chaos interest rate models and the Wick calculus in finance
by: Hadjipetri, Stala
Published: (2014)

A graphical calculus : extension, implication and application
by: Zhou, Y.
Published: (2001)

The Ito calculus : a vector integral approach
by: Ling, Paul David
Published: (1989)

Characterising computational devices with logical systems
by: Whyman, Richard Arthur James
Published: (2018)

Logical systems with finitely many truth values
by: Rousseau, G.
Published: (1967)

Stochastic calculus for infinite dimensional quantum noise
by: Wills, Stephen J.
Published: (1997)

An introduction to the calculus of propositions
by: Cooper, James, Jr
Published: (1961)