Relating Z and first-order logic

Relating Z and first-order logic

Show other versions (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...

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter:	Martin, A
Format:	Journal article
Sprog:	English
Udgivet:	2000

Lignende værker

Relating Z and First−order logic
af: Martin, A
Udgivet: (2000)

Relating Z and first−order logic
af: Martin, A
Udgivet: (1999)

From Separation Logic to First−Order Logic
af: Calcagno, P, et al.
Udgivet: (2005)

First-order logics for comparative similarity
af: Williamson, T
Udgivet: (1988)

Binding forms in first-order logic
af: Mogavero, F, et al.
Udgivet: (2015)

Characterizing Second Order Logic with First Order Quantifiers
af: Harel, David
Udgivet: (2023)

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

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

Encoding : A Logic for Z in 2OBJ
af: Martin, A
Udgivet: (1993)

Soundness of an Encoding of A Logic for Z in 2OBJ
af: Hilberdink, H, et al.
Udgivet: (1992)

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

On Spatial Conjunction as Second-Order Logic
af: Kuncak, Viktor, et al.
Udgivet: (2005)

Z80 programming for logic design /
af: Osborne, Adam
Udgivet: (1978)

Logic : the first art /
af: 245582 Yu, Kam Por
Udgivet: (2007)

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

Pure Second-Order Logic with Second-Order Identity.
af: Paseau, A
Udgivet: (2010)

Relatively Smooth Convex Optimization by First-Order Methods, and Applications
af: Nesterov, Yurii, et al.
Udgivet: (2019)

Learning higher-order logic programs
af: Cropper, A, et al.
Udgivet: (2019)

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

A first course in fuzzy logic /
af: Nguyen, Hung T., 1944-, et al.
Udgivet: (2000)

Concurrent logic games on partial orders
af: Gutierrez, J
Udgivet: (2011)

Higher Order Logic and Hardware Verification
af: Melham, T
Udgivet: (1993)

A first course in fuzzy logic /
af: Nguyen, Hung T., 1944-, et al.
Udgivet: (2006)

Relational Separation Logic
af: Yang, H
Udgivet: (2007)

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

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

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

The logic of special relativity/
af: 303462 Prokhovnik, S J
Udgivet: (1967)

Logical and relational learning /
af: Raedt, Luc de, 1964-
Udgivet: (2008)

Hardware Verification using Higher−Order Logic
af: Camilleri, A, et al.
Udgivet: (1986)

Hardware Verification using Higher−Order Logic
af: Camilleri, A, et al.
Udgivet: (1987)

Consciousness of the first order in blindsight.
af: Sahraie, A, et al.
Udgivet: (2010)

The radio galaxy K-z relation to z ~ 4.5
af: Jarvis, M, et al.
Udgivet: (2001)

Existential second−order logic over strings
af: Eiter, T, et al.
Udgivet: (2000)

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

Second Order Logic and the Weak Exponential Hierarchies
af: Gottlob, G, et al.
Udgivet: (1995)

Existential Second−Order Logic over Strings
af: Eiter, T, et al.
Udgivet: (1998)

First-order orbit queries
af: Almagor, S, et al.
Udgivet: (2020)

Learning logic programs by discovering higher-order abstractions
af: Hocquette, C, et al.
Udgivet: (2024)

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