Studia Logica 69 (3):411-427 (2001)
|Abstract||We introduce a system PSI for a strict implication operator called Priorean strict implication. The semantics for PSI is based on partial Kripke models without accessibility relations. PSI is proved sound and complete with respect to that semantics, and Prior's system Q and related systems are shown to be fragments of PSI or of a mild extension of it.|
|Keywords||strict implication system Q Arthur Prior partial Kripke models|
|Through your library||Configure|
Similar books and articles
Mitsuhiro Okada (1987). A Weak Intuitionistic Propositional Logic with Purely Constructive Implication. Studia Logica 46 (4):371 - 382.
Robert Kirk (1982). Physicalism, Identity, and Strict Implication. Ratio 24 (December):131-41.
Sören Halldén (1948). A Question Concerning a Logical Calculus Related to Lewis' System of Strict Implication, Which is of Special Interest for the Study of Entailment. Theoria 14 (3):265-269.
Robert Kirk (2001). Nonreductive Physicalism and Strict Implication. Australasian Journal of Philosophy 79 (4):544-552.
Jürgen Schröder (2006). Physicalism and Strict Implication. Synthese 151 (3):537 - 545.
Marcello D'agostino, Dov M. Gabbay & Alessandra Russo (1997). Grafting Modalities Onto Substructural Implication Systems. Studia Logica 59 (1):65-102.
Jurgen Schroder (2006). Physicalism and Strict Implication. Synthese 151 (3):537-545.
Jan Heylen & Leon Horsten (2006). Strict Conditionals: A Negative Result. Philosophical Quarterly 56 (225):536–549.
Robert Kirk (2006). Physicalism and Strict Implication. Synthese 151 (3):523-536.
Claudio Cerrato (1994). Natural Deduction Based Upon Strict Implication for Normal Modal Logics. Notre Dame Journal of Formal Logic 35 (4):471-495.
Added to index2009-01-28
Total downloads5 ( #160,239 of 549,013 )
Recent downloads (6 months)1 ( #63,261 of 549,013 )
How can I increase my downloads?