Relating Z and first-order logic

Relating Z and first-order logic

Pokaż inne wersje (2)

Despite being widely regarded as a gloss on first-order logic and set theory, Z has not been found to be very supportive of proof. This paper attempts to distinguish between the different philosophies of proof in Z. It discusses some of the issues which must be addressed in creating a proof technolo...

Szczegółowa specyfikacja

Opis bibliograficzny
1. autor:	Martin, A
Format:	Journal article
Język:	English
Wydane:	2000

Podobne zapisy

Relating Z and First−order logic
od: Martin, A
Wydane: (2000)

Relating Z and first−order logic
od: Martin, A
Wydane: (1999)

From Separation Logic to First−Order Logic
od: Calcagno, P, i wsp.
Wydane: (2005)

First-order logics for comparative similarity
od: Williamson, T
Wydane: (1988)

Binding forms in first-order logic
od: Mogavero, F, i wsp.
Wydane: (2015)

Characterizing Second Order Logic with First Order Quantifiers
od: Harel, David
Wydane: (2023)

The Limits of Decidability for First Order Logic on CPDA Graphs
od: Broadbent, C
Wydane: (2012)

Many−Valued First−Order Logics with Probabilistic Semantics
od: Lukasiewicz, T
Wydane: (1999)

Encoding : A Logic for Z in 2OBJ
od: Martin, A
Wydane: (1993)

Soundness of an Encoding of A Logic for Z in 2OBJ
od: Hilberdink, H, i wsp.
Wydane: (1992)

First order logic as a formal language : an investigation of categorial grammar.
od: Levin, Harold Dresner
Wydane: (2009)

On Spatial Conjunction as Second-Order Logic
od: Kuncak, Viktor, i wsp.
Wydane: (2005)

Z80 programming for logic design /
od: Osborne, Adam
Wydane: (1978)

Logic : the first art /
od: 245582 Yu, Kam Por
Wydane: (2007)

Query Languages for Constraint Databases: First−Order Logic‚ Fixed−Points‚ and Convex Hulls
od: Kreutzer, S
Wydane: (2001)

Pure Second-Order Logic with Second-Order Identity.
od: Paseau, A
Wydane: (2010)

Relatively Smooth Convex Optimization by First-Order Methods, and Applications
od: Nesterov, Yurii, i wsp.
Wydane: (2019)

Learning higher-order logic programs
od: Cropper, A, i wsp.
Wydane: (2019)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
od: Sadrzadeh, M
Wydane: (2003)

A first course in fuzzy logic /
od: Nguyen, Hung T., 1944-, i wsp.
Wydane: (2000)

Concurrent logic games on partial orders
od: Gutierrez, J
Wydane: (2011)

Higher Order Logic and Hardware Verification
od: Melham, T
Wydane: (1993)

Relational Separation Logic
od: Yang, H
Wydane: (2007)

The logic of international relations /
od: 332877 Jones, Walter S.
Wydane: (1985)

The logic of special relativity/
od: 303462 Prokhovnik, S J
Wydane: (1967)

The logic of international relations /
od: 436241 Rosen, Steven J.
Wydane: (1980)

Logical and relational learning /
od: Raedt, Luc de, 1964-
Wydane: (2008)

The logic of international relations/
od: 332877 Jones, Walter S.
Wydane: (1991)

Hardware Verification using Higher−Order Logic
od: Camilleri, A, i wsp.
Wydane: (1986)

Hardware Verification using Higher−Order Logic
od: Camilleri, A, i wsp.
Wydane: (1987)

A first course in fuzzy logic /
od: Nguyen, Hung T., 1944-, i wsp.
Wydane: (2006)

Consciousness of the first order in blindsight.
od: Sahraie, A, i wsp.
Wydane: (2010)

The radio galaxy K-z relation to z ~ 4.5
od: Jarvis, M, i wsp.
Wydane: (2001)

First-order orbit queries
od: Almagor, S, i wsp.
Wydane: (2020)

First order response [kaset]
Wydane: ([n.d)

Existential second−order logic over strings
od: Eiter, T, i wsp.
Wydane: (2000)

On the Parameterised Intractability of Monadic Second−Order Logic
od: Kreutzer, S
Wydane: (2009)

Second Order Logic and the Weak Exponential Hierarchies
od: Gottlob, G, i wsp.
Wydane: (1995)

Existential Second−Order Logic over Strings
od: Eiter, T, i wsp.
Wydane: (1998)

Learning Z-Order Indexes with Dynamic Bit Allocation
od: Gao, Jenny
Wydane: (2023)