Graduate studies at Western
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|
|Categories||categorize this paper)|
|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 (2006). Physicalism and Strict Implication. Synthese 151 (3):523-536.
Jan Heylen & Leon Horsten (2006). Strict Conditionals: A Negative Result. Philosophical Quarterly 56 (225):536–549.
Jurgen Schroder (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.
Jürgen Schröder (2006). Physicalism and Strict Implication. Synthese 151 (3):537 - 545.
Robert Kirk (2001). Nonreductive Physicalism and Strict Implication. Australasian Journal of Philosophy 79 (4):544-552.
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 (1982). Physicalism, Identity, and Strict Implication. Ratio 24 (December):131-41.
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 ( #170,097 of 739,303 )
Recent downloads (6 months)1 ( #61,243 of 739,303 )
How can I increase my downloads?