- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Kripke-style semantics for Jaskowski's system qf
Bulletin of the Section of Logic 10 (1):24-28 (1981)
Abstract
Classical logic, intuitionism, relevant logics and many other systems try to express implication as an entailment. The Jaskowski system Qf describes implication in connection with causality. Syntactic properties of Qf have been examined by Pieczkowski [4], [5]. The semantic characterization of Qf is the aim of this paperAuthor's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
The characterization of Weihrauch reducibility in systems containing e-pa ω + qf-ac0;0.Patrick Uftring - forthcoming - Journal of Symbolic Logic:1-35.
The characterization of Weihrauch reducibility in systems containing.Patrick Uftring - 2021 - Journal of Symbolic Logic 86 (1):224-261.
Algebraic Kripke-Style Semantics for Relevance Logics.Eunsuk Yang - 2014 - Journal of Philosophical Logic 43 (4):803-826.
The Relevant Logic E and Some Close Neighbours: A Reinterpretation.Edwin Mares & Shawn Standefer - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):695--730.
Kripke semantics for logics with BCK implication.Wendy MacCaull - 1996 - Bulletin of the Section of Logic 25:41-51.
Semantics for Pure Theories of Connexive Implication.Yale Weiss - 2022 - Review of Symbolic Logic 15 (3):591-606.
Grafting modalities onto substructural implication systems.Marcello D'agostino, Dov M. Gabbay & Alessandra Russo - 1997 - Studia Logica 59 (1):65-102.
The question qf the authorship of the opusculum de pulchro.Francis J. Kovach - 1962 - Archiv für Geschichte der Philosophie 44 (3):245-278.
A note on the? 2 0 -induction rule.Ulrich Kohlenbach - 1995 - Archive for Mathematical Logic 34 (4):279-283.
Analytics
Added to PP
2014-02-18
Downloads
2 (#1,819,493)
6 months
23 (#125,194)
2014-02-18
Downloads
2 (#1,819,493)
6 months
23 (#125,194)
Historical graph of downloads
Author's Profile
Citations of this work
On causality. Ingarden's analysis vs. Jaśkowski's logic.Max Urchs - 1994 - Logic and Logical Philosophy 2 (5):55-68.
References found in this work
On the modal and causal functions in symbolic logic.Stanisław Jaśkowski - 1951 - Studia Philosophica 4 (2):71-92.
The axiomatic system of the factorial implication.August Pieczkowski - 1966 - Studia Logica 18 (1):41 - 64.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-grz79 uwo