A Couple of Novelties in the Propositional Calculus

A Couple of Novelties in the Propositional Calculus

Bibliographic Details
Main Author:	Hoare, C
Format:	Journal article
Published:	1985

Similar Items

Propositional and predicate calculus : a model of argument /
by: 244860 Goldrei, Derek
Published: (2005)

Sparsity of Non−trivial Proving Speed−up in Random Systems of Propositional Calculus
by: Hernandez−Orozco, S, et al.
Published: (2013)

Propositionalism
by: Paseau, A
Published: (2021)

Toothpaste Novelty and Reality
by: Makky, Essam A., et al.
Published: (2015)

Wittgenstein, seeing-as, and novelty
by: Child, T
Published: (2018)

Sequential Calculus
by: von Karger, B, et al.
Published: (1995)

A Calculus of Durations
by: Chaochen, Z, et al.
Published: (1991)

A review of novelty detection
by: Pimentel, M, et al.
Published: (2014)

Catalogue of bias: novelty bias
by: Luo, Y, et al.
Published: (2023)

A Calculus of Total Correctness for Communicating Processes
by: Hoare, C
Published: (1981)

A Calculus of Total Correctness for Communicating Processes
by: Hoare, C
Published: (1981)

Hoare's Formulation of Jones' Calculus for Programming
by: Hoare, C
Published: (2015)

Problems and propositions in analysis /
by: 464612 Klambauer, Gabriel
Published: (1979)

Newspaper as a business proposition
by: Dutta, Ashoke
Published: (2008)

Techniques for intelligent novelty mining
by: Tsai, Flora S.
Published: (2011)

Missing Novelty in Drug Development
by: Krieger, Joshua, et al.
Published: (2022)

Database retrieval for novelty detection
by: Ong, Chun Lin.
Published: (2009)

The gendered liability of venture novelty
by: Liao, Zhenyu, et al.
Published: (2024)

Novelty detection for the identification of abnormalities
by: Tarassenko, L, et al.
Published: (2000)

Solid state novelty projects/
by: Babani, M. H.
Published: (1976)

A Calculus for the Derivation of C−MOS Switching Circuits
by: Hoare, C
Published: (2015)

Novelty effects in a multimodal warning signal.
by: Rowe, C, et al.
Published: (1999)

Conflict and convergence : a proposition in Lisbon
by: Morais-Storz, Marta Angelica
Published: (2007)

A Puzzle About Ineffable Propositions
by: Rayo, Agustin
Published: (2011)

Conditional Propositions and Conditional Assertions
by: Stalnaker, Robert
Published: (2020)

Non-classical propositional calculi
by: McCall, S, et al.
Published: (1964)

Ramsey, 'Universals' and atomic propositions
by: Methven, S
Published: (2018)

Are propositional attitudes mental states?
by: Baysan, U
Published: (2022)

Non-metric propositional similarity
by: Paseau, A
Published: (2020)

Rethinking the proposition of privacy engineering
by: Ceross, A, et al.
Published: (2018)

Propositional Interpolation and Abstract Interpretation
by: D'Silva, V
Published: (2010)

Residential stability and novelty-seeking behaviour
by: Low, Jun Min
Published: (2016)

Choosing an appropriate model for novelty detection
by: Nairac, A, et al.
Published: (1997)

An extreme function theory for novelty detection
by: Clifton, D, et al.
Published: (2012)

Automated novelty detection in industrial systems
by: Clifton, D, et al.
Published: (2008)

The role of novelty in early word learning.
by: Mather, E, et al.
Published: (2012)

Alternative splicing and the evolution of phenotypic novelty.
by: Bush, S, et al.
Published: (2016)

The practical accomplishment of novelty in the UK patent system
by: Sugden, C
Published: (2011)

The Consistency of the Calculus of Total Correctness for Communicating Processes
by: Hoare, C, et al.
Published: (1982)

Towards a Calculus of Total Correctness for the Design of C−MOS Switching Circuits
by: Hoare, C
Published: (1987)