Relating Z and first-order logic

Relating Z and first-order logic

Zobrazit další vydání (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...

Podrobná bibliografie
Hlavní autor:	Martin, A
Médium:	Journal article
Jazyk:	English
Vydáno:	2000

Podobné jednotky

Relating Z and First−order logic
Autor: Martin, A
Vydáno: (2000)

Relating Z and first−order logic
Autor: Martin, A
Vydáno: (1999)

From Separation Logic to First−Order Logic
Autor: Calcagno, P, a další
Vydáno: (2005)

First-order logics for comparative similarity
Autor: Williamson, T
Vydáno: (1988)

Binding forms in first-order logic
Autor: Mogavero, F, a další
Vydáno: (2015)

Characterizing Second Order Logic with First Order Quantifiers
Autor: Harel, David
Vydáno: (2023)

The Limits of Decidability for First Order Logic on CPDA Graphs
Autor: Broadbent, C
Vydáno: (2012)

Many−Valued First−Order Logics with Probabilistic Semantics
Autor: Lukasiewicz, T
Vydáno: (1999)

Encoding : A Logic for Z in 2OBJ
Autor: Martin, A
Vydáno: (1993)

Soundness of an Encoding of A Logic for Z in 2OBJ
Autor: Hilberdink, H, a další
Vydáno: (1992)

First order logic as a formal language : an investigation of categorial grammar.
Autor: Levin, Harold Dresner
Vydáno: (2009)

On Spatial Conjunction as Second-Order Logic
Autor: Kuncak, Viktor, a další
Vydáno: (2005)

Z80 programming for logic design /
Autor: Osborne, Adam
Vydáno: (1978)

Logic : the first art /
Autor: 245582 Yu, Kam Por
Vydáno: (2007)

Query Languages for Constraint Databases: First−Order Logic‚ Fixed−Points‚ and Convex Hulls
Autor: Kreutzer, S
Vydáno: (2001)

Pure Second-Order Logic with Second-Order Identity.
Autor: Paseau, A
Vydáno: (2010)

Relatively Smooth Convex Optimization by First-Order Methods, and Applications
Autor: Nesterov, Yurii, a další
Vydáno: (2019)

Learning higher-order logic programs
Autor: Cropper, A, a další
Vydáno: (2019)

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq
Autor: Sadrzadeh, M
Vydáno: (2003)

A first course in fuzzy logic /
Autor: Nguyen, Hung T., 1944-, a další
Vydáno: (2000)

Concurrent logic games on partial orders
Autor: Gutierrez, J
Vydáno: (2011)

Higher Order Logic and Hardware Verification
Autor: Melham, T
Vydáno: (1993)

Relational Separation Logic
Autor: Yang, H
Vydáno: (2007)

The logic of international relations /
Autor: 332877 Jones, Walter S.
Vydáno: (1985)

The logic of special relativity/
Autor: 303462 Prokhovnik, S J
Vydáno: (1967)

The logic of international relations /
Autor: 436241 Rosen, Steven J.
Vydáno: (1980)

Logical and relational learning /
Autor: Raedt, Luc de, 1964-
Vydáno: (2008)

The logic of international relations/
Autor: 332877 Jones, Walter S.
Vydáno: (1991)

Hardware Verification using Higher−Order Logic
Autor: Camilleri, A, a další
Vydáno: (1986)

Hardware Verification using Higher−Order Logic
Autor: Camilleri, A, a další
Vydáno: (1987)

A first course in fuzzy logic /
Autor: Nguyen, Hung T., 1944-, a další
Vydáno: (2006)

Consciousness of the first order in blindsight.
Autor: Sahraie, A, a další
Vydáno: (2010)

The radio galaxy K-z relation to z ~ 4.5
Autor: Jarvis, M, a další
Vydáno: (2001)

First-order orbit queries
Autor: Almagor, S, a další
Vydáno: (2020)

First order response [kaset]
Vydáno: ([n.d)

Existential second−order logic over strings
Autor: Eiter, T, a další
Vydáno: (2000)

On the Parameterised Intractability of Monadic Second−Order Logic
Autor: Kreutzer, S
Vydáno: (2009)

Second Order Logic and the Weak Exponential Hierarchies
Autor: Gottlob, G, a další
Vydáno: (1995)

Existential Second−Order Logic over Strings
Autor: Eiter, T, a další
Vydáno: (1998)

Learning Z-Order Indexes with Dynamic Bit Allocation
Autor: Gao, Jenny
Vydáno: (2023)