Operational semantics for positive "R"

Notre Dame Journal of Formal Logic 29:61-80 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1988

DOI

10.1305/ndjfl/1093637771

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

A New Semantics for Positive Modal Logic.S. Celani & R. Jansana - 1997 - Notre Dame Journal of Formal Logic 38 (1):1-18.
Operational Independence and Operational Separability in Algebraic Quantum Mechanics.Miklós Rédei - 2010 - Foundations of Physics 40 (9-10):1439-1449.
Truth breakers.Dale Jacquette - 2010 - Topoi 29 (2):153-163.
Review: Paul Weiss, The Logic of Semantics; Ernest Nagel, Operational Analysis as an Instrument for the Critique of Linguistic Signs; Andrew Ushenko, The Problem of Semantics. [REVIEW]Carl G. Hempel - 1942 - Journal of Symbolic Logic 7 (2):96-98.
Positive Frege and its Scott‐style semantics.Thierry Libert - 2008 - Mathematical Logic Quarterly 54 (4):410-434.
Priestley duality, a Sahlqvist theorem and a Goldblatt-Thomason theorem for positive modal logic.S. Celani & R. Jansana - 1999 - Logic Journal of the IGPL 7 (6):683-715.
Understanding programming languages.Raymond Turner - 2007 - Minds and Machines 17 (2):203-216.
A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles - 2013 - Logica Universalis 7 (4):507-532.
Theories, their formulations, and the operational imperative.Frederick Suppe - 1972 - Synthese 25 (1-2):129 - 164.
Type-theoretic logic with an operational account of intensionality.Shalom Lappin & Chris Fox - 2015 - Synthese 192 (3):563-584.
Kripke semantics for some paraconsistent logics.Marek Nowak - 1998 - Logica Trianguli 2:87-101.
Inverse scope as metalinguistic quotation in operational semantics.Chung-Chieh Shan - 2008 - In Satoh (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 123--134.
Simplified semantics for relevant logics (and some of their rivals).Greg Restall - 1993 - Journal of Philosophical Logic 22 (5):481 - 511.
Beyond Millianism.Leo Iacono - 2008 - Philosophical Studies 140 (3):423 - 436.
Interpretation as the Engagement of Operational Artifacts: Operational Hermeneutics.Aref Ali Nayed - 1994 - Dissertation, University of Guelph (Canada)

Analytics

Added to PP
2010-08-24

Downloads
19 (#753,814)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
Supervenience, Dependence, Disjunction.Lloyd Humberstone - forthcoming - Logic and Logical Philosophy:1.
Heterogeneous logic.I. L. Humberstone - 1988 - Erkenntnis 29 (3):395 - 435.
Disjunctive Parts.Mark Jago - forthcoming - In Federico L. G. Faroldi & Frederik Van De Putte (eds.), Outstanding Contributions to Logic: Kit Fine. Springer.

View all 13 citations / Add more citations

References found in this work

No references found.

Add more references