Logic for exact entailment

QR Code

Logic for exact entailment

An exact truthmaker for A is a state which, as well as guaranteeing A's truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do...

Full description

Bibliographic Details
Main Authors:	Fine, Kit, Jago, Mark
Format:	Article
Language:	English
Published:	Cambridge University Press 2018
Subjects:	Truthmaking; Exact entailment; Non-classical logic; Semantics; Mereology; Sequent calculus
Online Access:	https://eprints.nottingham.ac.uk/54996/

Similar Items

A Defence of Reductive Nihilism
by: Thunder, Simon D.
Published: (2021)

Development of a Logic Layer in the Semantic Web: Research Issues
by: Janjua, Naeem Khalid, et al.
Published: (2010)

Rule-based and Resource-bounded: A New Look at Epistemic Logic
by: Jago, Mark
Published: (2006)

Vee-mapping integral calculus / Kor Liew Kee and Mohd Rijal Illias
by: Kor, Liew Kee, et al.
Published: (2013)

Mathematical errors in advanced calculus: A survey among engineering students / Maisurah Shamsuddin … [et al.]
by: Shamsuddin, Maisurah, et al.
Published: (2015)

An exact penalty function method for nonlinear mixed discrete programming problems
by: Changjun, Y., et al.
Published: (2013)

e-Integral map as an interactive procedural learning tool / Nor Hazizah Julaihi, Voon Li Li and Tang Howe Eng
by: Julaihi, Nor Hazizah, et al.
Published: (2014)

All traveling wave exact solutions of the variant Boussinesq equations
by: Yuan, W., et al.
Published: (2015)

Imagine the possibilities: information without overload
by: Jago, Mark
Published: (2006)

A new exact penalty method for semi-infinite programming problems
by: Lin, Qun, et al.
Published: (2014)

Optimal feedback control for dynamic systems with state constraints: An exact penalty approach
by: Lin, Qun, et al.
Published: (2014)

An exact penalty method for free terminal time optimal control problem with continuous inequality constraints
by: Jiang, Canghua, et al.
Published: (2012)

A computational algorithm for a class of non-smooth optimal control problems arising in aquaculture operations
by: Blanchard, E., et al.
Published: (2013)

Disseminating effective use of mapping techniques in integral calculus / Nor Hazizah Julaihi, Voon Li Li and Tang Howe Eng
by: Julaihi, Nor Hazizah, et al.
Published: (2013)

Detecting and correcting for heteroscedasticity / Teoh Sian Hoon
by: Teoh, Sian Hoon
Published: (2007)

EUM113 ENGINEERING CALCULUS (JAN 2015)
by: PPKEE, Pusat Pengajian Kejuruteraan Elektrik & Elektronik
Published: (2015)

Fractional operators and their applications on spaces of analytic and univalent functions
by: Abdulnaby, Zainab Esa
Published: (2017)

Fractional differential calculus on riemannian manifolds and convexity problems
by: Wedad Saleh, Al-Lehabi
Published: (2017)

MAA 101 - Calculus For Science Students I November 2006
by: PPSM, Pusat Pengajian Sains Matematik
Published: (2006)

MAT 101- Calculus Nov 2006
by: PPSM, Pusat Pengajian Sains Matematik
Published: (2006)

MAT 102 - Kalkulus Lanjutan Februari 1999
by: PPSM, Pusat Pengajian Sains Matematik
Published: (1999)

MAA 101 - Calculus for Science Students I [Kalkulus untuk Pelajar Sains I]
by: PPSM, Pusat Pengajian Sains Matematik
Published: (2017)

Numerical Solutions For Two Dimensional Time-Fractional Differential Sub-Diffusion Equation
by: Ali, Umair
Published: (2019)

JIM 514 - Kalkulus Lanjutan - Mei - Jun 1995
by: PPPJJ, Pusat Pengajian Pendidikan Jarak Jauh
Published: (1995)

JIM 101 - Kalkulus - Mei - Jun 1995
by: PPPJJ, Pusat Pengajian Pendidikan Jarak Jauh
Published: (1995)

JIM 211 – Kalkulus Lanjutan - Mei - Jun 1995
by: PPPJJ, Pusat Pengajian Pendidikan Jarak Jauh
Published: (1995)

Quasi-exact solution of the Riemann problem for generalised dam-break over a mobile initially flat bed
by: Zhu, Fangfang, et al.
Published: (2019)

All traveling wave exact solutions of two kinds of nonlinear evolution equations
by: Huang, Y., et al.
Published: (2014)

Fuzzy logic controller for roof sprinkler cooling system / Faizzudin Sahazudin , Nooraini Yusoff and Fadzilah Siraj
by: Yusoff, Nooraini, et al.
Published: (2018)

The place of syllogistic in logical theory
by: Clark, Michael
Published: (1980)

A similarity-based inference engine for non-singleton fuzzy logic systems
by: Wagner, Christian, et al.
Published: (2016)

Performance measurement under increasing environmental uncertainty in the context of interval type-2 fuzzy logic based robotic sailing
by: Benatar, Naisan, et al.
Published: (2013)

Killing tensor of five dimensional Melvin’s spacetime
by: Subramaniam, Ganesh
Published: (2018)

Attitudes and perceptions of university students towards calculus / Tang Howe Eng, Nor Hazizah Julaihi and Voon Li Li
by: Tang, Howe Eng, et al.
Published: (2013)

Arithmetic logic unit (ALU) - bit slice approach.
by: Suparjo, Bambang Sunaryo, et al.

ALU Circuit Design Mix Logic Styles Technique
by: Lee, Seng Siong
Published: (2004)

Coalition logic with individual, distributed and common knowledge
by: Ågotnes, Thomas, et al.
Published: (2016)

Malay speech recognition to determine emotion using fuzzy logic / Siti Nazirah Abd Rahim
by: Abd Rahim, Siti Nazirah
Published: (2013)

A fuzzy logic model for students' scholarship selection / Nor Hashimah Sulaiman and Daud Mohamad
by: Sulaiman, Nor Hashimah, et al.
Published: (2006)

Soft biometric system using fuzzy logic decision fusion for identification
by: Ayodeji, Arigbabu Olasimbo
Published: (2014)