Conditional theories

&
Studia Logica 45 (3):237 - 250 (1986)
  Copy   BIBTEX

Abstract

This paper introduces conditional logic, that is, a variant of free logic where the existence condition of a function is defined by a formula of the formal language. Syntax and semantics are developed. A completeness theorem is given.

Categories

Keywords

Reprint years

DOI

10.1007/bf00375896

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,716

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Against Truth-Conditional Theories of Meaning: Three Lessons from the Language(s) of Fiction.Sara L. Uckelman & Phoebe Chan - 2016 - Res Philosophica 93 (2):441-459.
Iterated belief revision and conditional logic.Laura Giordano, Valentina Gliozzi & Nicola Olivetti - 2002 - Studia Logica 70 (1):23-47.
Stalnakerian Connexive Logics.Xuefeng Wen - 2023 - Studia Logica 112 (1):365-403.
A Kripke semantics for the logic of Gelfand quantales.Gerard Allwein & Wendy MacCaull - 2001 - Studia Logica 68 (2):173-228.
An Intuitionistic Completeness Theorem for Classical Predicate Logic.Victor N. Krivtsov - 2010 - Studia Logica 96 (1):109-115.
A sequent formulation of conditional logic based on belief change operations.Peter Roeper - 2004 - Studia Logica 77 (3):425 - 438.
A Sequent Calculus for a Negative Free Logic.Norbert Gratzl - 2010 - Studia Logica 96 (3):331-348.
On Modal Logics of Model-Theoretic Relations.Denis I. Saveliev & Ilya B. Shapirovsky - 2020 - Studia Logica 108 (5):989-1017.
States on Polyadic MV-algebras.George Georgescu - 2010 - Studia Logica 94 (2):231-243.
On Boolean Algebraic Structure of Proofs: Towards an Algebraic Semantics for the Logic of Proofs.Amir Farahmand Parsa & Meghdad Ghari - 2023 - Studia Logica 111 (4):573-613.

Analytics

Added to PP
2009-01-28

Downloads
25 (#980,772)

6 months
5 (#868,017)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

An interpretation of Martin-löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):213-240.

Add more citations

References found in this work

No references found.

Add more references