-
1
-
-
0000688268
-
Constructible falsity and inexact predicates
-
ALMUKDAD, A., and D. NELSON (1984), 'Constructible falsity and inexact predicates', The Journal of Symbolic Logic 49, 231-233.
-
(1984)
The Journal of Symbolic Logic
, vol.49
, pp. 231-233
-
-
Almukdad, A.1
Nelson, D.2
-
3
-
-
85058742925
-
-
Princeton (Princeton University Press)
-
ANDERSON, A. R., N. D. BELNAP, and J. M. DUNN, et al (1992), Entailment: The Logic of Relevance and Necessity, vol. 2, Princeton (Princeton University Press).
-
(1992)
Entailment: the Logic of Relevance and Necessity
, vol.2
-
-
Anderson, A.R.1
Belnap, N.D.2
Dunn, J.M.3
-
5
-
-
0346573994
-
Restricted quantification and conditional assertion', Nous 4, 1-12
-
Fuller version in H. Leblanc (ed.), Amsterdam, NorthHolland Publishing Company
-
BELNAP, N. D., (1970), 'Restricted quantification and conditional assertion', Nous 4, 1-12. Fuller version in H. Leblanc (ed.), Truth, Syntax and Modality, Amsterdam, NorthHolland Publishing Company, p. 48-75, 1973.
-
(1973)
Truth, Syntax and Modality
, pp. 48-75
-
-
Belnap, N.D.1
-
7
-
-
0001842932
-
A useful four-valued logic
-
J. M. Dunn and G. Epstein (eds.), Dordrecht, D. Reidel Publishing Co
-
BELNAP, N.D., (1977a), 'A useful four-valued logic', in Modern Uses of Multiple-Valued Logic, J. M. Dunn and G. Epstein (eds.), Dordrecht, D. Reidel Publishing Co.
-
(1977)
Modern Uses of Multiple-Valued Logic
-
-
Belnap, N.D.1
-
8
-
-
0001842931
-
How a computer should think
-
G. Ryle (ed.), Stocksfield, Oriel Press Ltd
-
BELNAP, N.D., (1977b), 'How a computer should think', in Contemporary Aspects of Philosophy, G. Ryle (ed.), Stocksfield, Oriel Press Ltd, p. 30-55.
-
(1977)
Contemporary Aspects of Philosophy
, pp. 30-55
-
-
Belnap, N.D.1
-
9
-
-
0002397042
-
Partial logics
-
D. Gabbay and F. Guenthner (eds.), Dordrecht, D. Reidel Publishing Company
-
BLAMEY, S., (1986), 'Partial logics', in Handbook of Philosophical Logic vol. Ill, Alternatives to Classical Logic, D. Gabbay and F. Guenthner (eds.), Dordrecht, D. Reidel Publishing Company), p. 1-70.
-
(1986)
Handbook of Philosophical Logic Vol. Ill, Alternatives to Classical Logic
, pp. 1-70
-
-
Blamey, S.1
-
10
-
-
0003588990
-
-
Doctoral Dissertation, University of Pittsburgh, Ann Arbor (University Microfilms). Some portions relevant to this paper are reprinted in Anderson, Belnap, et al. (1975) as §8 and §28.2.
-
DUNN, J. M., (1966), The Algebra of Intensional Logics, Doctoral Dissertation, University of Pittsburgh, Ann Arbor (University Microfilms). Some portions relevant to this paper are reprinted in Anderson, Belnap, et al. (1975) as §8 and §28.2.
-
(1966)
The Algebra of Intensional Logics
-
-
Dunn, J.M.1
-
11
-
-
52849088646
-
The effective equivalence of certain propositions about De Morgan lattices
-
DUNN, J. M., (1967), 'The effective equivalence of certain propositions about De Morgan lattices', The Journal of Symbolic Logic 32, 433-434.
-
(1967)
The Journal of Symbolic Logic
, vol.32
, pp. 433-434
-
-
Dunn, J.M.1
-
12
-
-
70949090486
-
Natural language versus formal language
-
unpublished manuscript. Presented at the New York, Dec. 27.
-
DUNN, J. M., (1969), 'Natural language versus formal language', unpublished manuscript. Presented at the joint APA-ASL symposium, New York, Dec. 27.
-
(1969)
Joint APA-ASL Symposium
-
-
Dunn, J.M.1
-
13
-
-
52849084620
-
An intuitive semantics for first degree relevant implications' (abstract)
-
DUNN, J. M., (1971), 'An intuitive semantics for first degree relevant implications' (abstract), The Journal of Symbolic Logic 36, 362-363.
-
(1971)
The Journal of Symbolic Logic
, vol.36
, pp. 362-363
-
-
Dunn, J.M.1
-
14
-
-
0007912444
-
Intuitive semantics for first-degree entailments and coupled trees
-
DUNN, J. M., (1976a), 'Intuitive semantics for first-degree entailments and coupled trees', Philosophical Studies 29, 149-168.
-
(1976)
Philosophical Studies
, vol.29
, pp. 149-168
-
-
Dunn, J.M.1
-
15
-
-
34250393778
-
A Kripke-style semantics for R-mingle using a binary accessibility relation
-
DUNN, J. M., (1976b), 'A Kripke-style semantics for R-mingle using a binary accessibility relation', Studia Logica 35, 163-172.
-
(1976)
Studia Logica
, vol.35
, pp. 163-172
-
-
Dunn, J.M.1
-
16
-
-
34250262908
-
A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
-
DUNN, J. M., (1979), 'A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic', Studia Logica 38, 149-169.
-
(1979)
Studia Logica
, vol.38
, pp. 149-169
-
-
Dunn, J.M.1
-
17
-
-
0000948246
-
Relevance logic and entailment
-
D. Gabbay and F. Guenthner (eds.), Dordrecht, D. Reidel Publishing Company
-
DUNN, J. M., (1986), 'Relevance logic and entailment', in Handbook of Philosophical Logic vol. Ill, Alternatives to Classical Logic, D. Gabbay and F. Guenthner (eds.), Dordrecht, D. Reidel Publishing Company.
-
(1986)
Handbook of Philosophical Logic Vol. Ill, Alternatives to Classical Logic
-
-
Dunn, J.M.1
-
18
-
-
33645359071
-
Perp and star: Two treatments of negation
-
J. Tomberlin (ed.)
-
DUNN, J. M., (1993), 'Perp and star: Two treatments of negation', in Philosophical Perspectives 7: Language and Logic, J. Tomberlin (ed.), p. 331-357.
-
(1993)
Philosophical Perspectives 7: Language and Logic
, vol.7
, pp. 331-357
-
-
Dunn, J.M.1
-
20
-
-
34250533701
-
Homomorphisms of intensionally complemented distributive lattices
-
DUNN, J. M., and N. D. BELNAP (1968), 'Homomorphisms of intensionally complemented distributive lattices', Mathematische Annalen 176, 28-38.
-
(1968)
Mathematische Annalen
, vol.176
, pp. 28-38
-
-
Dunn, J.M.1
Belnap, N.D.2
-
21
-
-
0010276927
-
Belief, awareness and limited reasoning: Preliminary report
-
Los Altos, Morgan Kaufmann
-
FAGIN, R., and J.Y. HALPERN (1985), 'Belief, awareness and limited reasoning: Preliminary report', in Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Altos, Morgan Kaufmann, p. 491-501.
-
(1985)
Proceedings of the Ninth International Joint Conference on Artificial Intelligence
, pp. 491-501
-
-
Fagin, R.1
Halpern, J.Y.2
-
22
-
-
0023842375
-
Belief, awareness and limited reasoning
-
FAGIN, R., and J.Y. HALPERN (1987), 'Belief, awareness and limited reasoning', Artificial Intelligence 34, 39-76.
-
(1987)
Artificial Intelligence
, vol.34
, pp. 39-76
-
-
Fagin, R.1
Halpern, J.Y.2
-
23
-
-
0003730235
-
-
Cambridge, U.S.A, The MIT Press
-
FAGIN, R., J.Y. HALPERN, Y. MOSES, M.Y. VARDI (1995), Reasoning about Knowledge, Cambridge, U.S.A, The MIT Press.
-
(1995)
Reasoning about Knowledge
-
-
Fagin, R.1
Halpern, J.Y.2
Moses, Y.3
Vardi, M.Y.4
-
25
-
-
0024034424
-
Logic programming on a topological bilattice
-
FITTING, M., (1988), 'Logic programming on a topological bilattice', Fundamenta Informatica 11, 209-218.
-
(1988)
Fundamenta Informatica
, vol.11
, pp. 209-218
-
-
Fitting, M.1
-
26
-
-
0008004457
-
Bilattices and the theory of truth
-
FITTING, M., (1989), 'Bilattices and the theory of truth', Journal of Philosophical Logic 18, 225-256.
-
(1989)
Journal of Philosophical Logic
, vol.18
, pp. 225-256
-
-
Fitting, M.1
-
27
-
-
0008006876
-
Multi-valued logics
-
The Logic Group Knowledge Systems Laboratory, Department of Computer Science, Stanford University
-
GlNSBERG, M. L., (1987), 'Multi-valued logics', Technical Report, The Logic Group Knowledge Systems Laboratory, Department of Computer Science, Stanford University.
-
(1987)
Technical Report
-
-
Glnsberg, M.L.1
-
29
-
-
0007915973
-
A philosophically plausible formal interpretation of intuitionistic logic
-
GRZEGORCZYK, A., (1964), 'A philosophically plausible formal interpretation of intuitionistic logic', Indagiones Mathematicae 26, 596-601.
-
(1964)
Indagiones Mathematicae
, vol.26
, pp. 596-601
-
-
Grzegorczyk, A.1
-
30
-
-
9444257668
-
Intuitionistic logic with strong negation
-
GuREVICH, Y., (1977), 'Intuitionistic logic with strong negation', Studia Logica 36, 49-59.
-
(1977)
Studia Logica
, vol.36
, pp. 49-59
-
-
Gurevich, Y.1
-
36
-
-
77956955779
-
Semantic analysis of intuitionistic logic I
-
J. Crossley and M. Dummett (eds.), Amsterdam, North-Holland Publishing Company
-
KRIPKE, S., (1965), 'Semantic analysis of intuitionistic logic I', in Formal Systems and Recursive Functions, J. Crossley and M. Dummett (eds.), Amsterdam, North-Holland Publishing Company, p. 92-129.
-
(1965)
Formal Systems and Recursive Functions
, pp. 92-129
-
-
Kripke, S.1
-
37
-
-
0000235860
-
Outline of a theory of truth
-
KRIPKE, S., (1975), 'Outline of a theory of truth', The Journal of Philosophy 72, 690-716.
-
(1975)
The Journal of Philosophy
, vol.72
, pp. 690-716
-
-
Kripke, S.1
-
39
-
-
0020979435
-
A logic of implicit and explicit belief
-
Los Altos, Morgan Kaufman
-
LEVESQUE, H. J., (1984), 'A logic of implicit and explicit belief, in Proceedings of the National Conference on Artificial Intelligence, Los Altos, Morgan Kaufman, p. 198-202.
-
(1984)
Proceedings of the National Conference on Artificial Intelligence
, pp. 198-202
-
-
Levesque, H.J.1
-
40
-
-
4344568243
-
Konstruktivnaja logika
-
MARKOV, A.A., (1950), 'Konstruktivnaja logika', Uspéhi Matematiĉéskih Nauk, 5, no. 3, 187-188.
-
(1950)
Uspéhi Matematiĉéskih Nauk
, vol.5
, Issue.3
, pp. 187-188
-
-
Markov, A.A.1
-
41
-
-
33745261522
-
On representing 'true-in-L' in L
-
MARTIN, R. L., P.W. WOODRUFF (1975), 'On representing 'true-in-L' in L', Philosophia 5, 213-217.
-
(1975)
Philosophia
, vol.5
, pp. 213-217
-
-
Martin, R.L.1
Woodruff, P.W.2
-
43
-
-
77956976655
-
Intuitionism, entailment, negation
-
H. Leblanc (éd.), Amsterdam, North-Holland Publishing Co.
-
MEYER, R. K., (1973), 'Intuitionism, entailment, negation', in Truth, Syntax, and Modality, H. Leblanc (éd.), Amsterdam, North-Holland Publishing Co., p. 168-198.
-
(1973)
Truth, Syntax, and Modality
, pp. 168-198
-
-
Meyer, R.K.1
-
44
-
-
84934166237
-
A Boolean-valued semantics for R
-
Australian National University, Logic Group, Research School of Social Sciences, Canberra
-
MEYER, R. K., (1979), 'A Boolean-valued semantics for R', Research Paper No. 4, Australian National University, Logic Group, Research School of Social Sciences, Canberra.
-
(1979)
Research Paper No. 4
, vol.4
-
-
Meyer, R.K.1
-
47
-
-
0007983288
-
Negation and separation of concepts in constructive systems
-
A. Heyting (ed.), Amsterdam, North-Holland Publishing Company
-
NELSON, D., (1959), 'Negation and separation of concepts in constructive systems', in Constructivity in Mathematics, A. Heyting (ed.), Amsterdam, North-Holland Publishing Company, p. 208-225.
-
(1959)
Constructivity in Mathematics
, pp. 208-225
-
-
Nelson, D.1
-
48
-
-
52849099243
-
Reasons for Choosing
-
Gruppe für Logik, Wissenstheorie und Information, Freie Universität Berlin
-
PEARCE, D., (1991), 'n Reasons for Choosing N\ Technical Report 14/91, Gruppe für Logik, Wissenstheorie und Information, Freie Universität Berlin.
-
(1991)
Technical Report 14/91
-
-
Pearce, D.1
-
49
-
-
26444538135
-
Answer sets and constructive logic II: Extended logic programs and related non-monotonic formalisms
-
L. Pereira and A. Nerode (eds.), Cambridge, MA, MIT Press
-
PEARCE, D., (1993), 'Answer sets and constructive logic II: Extended logic programs and related non-monotonic formalisms', in Logic Programming and Non-monotonic Reasoning, L. Pereira and A. Nerode (eds.), Cambridge, MA, MIT Press.
-
(1993)
Logic Programming and Non-monotonic Reasoning
-
-
Pearce, D.1
-
50
-
-
52849130251
-
Logic programming with strong negation
-
Logic Notes in AI, P. Schroeder-Heister (ed.), Berlin, Springer-Verlag
-
PEARCE, D., and G. WAGNER (1990), 'Logic programming with strong negation', in Proceedings of the Workshop on Extensions of Logic Programming, Logic Notes in AI, 475, P. Schroeder-Heister (ed.), Berlin, Springer-Verlag.
-
(1990)
Proceedings of the Workshop on Extensions of Logic Programming
, pp. 475
-
-
Pearce, D.1
Wagner, G.2
-
51
-
-
52849136931
-
The logic of paradox' (abstract)
-
Reprinted in the Bulletin of the Section of Logic 6 (1977), 140-141.
-
PRIEST, G., (1977), 'The logic of paradox' (abstract), Relevance Logic Newsletter 2, 105. Reprinted in the Bulletin of the Section of Logic 6 (1977), 140-141.
-
(1977)
Relevance Logic Newsletter
, vol.2
, pp. 105
-
-
Priest, G.1
-
53
-
-
0040701891
-
-
The Hague, Martinus Nijhoff
-
PRIEST, G., (1987), In Contradiction, The Hague, Martinus Nijhoff.
-
(1987)
In Contradiction
-
-
Priest, G.1
-
54
-
-
26444590179
-
The principle of four-cornered negation in Indian philosophy
-
RAJU, P. T., (1954), 'The principle of four-cornered negation in Indian philosophy', Review of Metaphysics 7, 694-713.
-
(1954)
Review of Metaphysics
, vol.7
, pp. 694-713
-
-
Raju, P.T.1
-
56
-
-
0013538570
-
The semantics of entailment I
-
H. Leblanc (ed.), Amsterdam, North-Holland Publishing Company, 1973, 'The semantics of entailment II-IIP, Journal of Philosophical Logic 1 (1972), 53-73, 192-208.
-
ROUTLEY, R., and R. K. MEYER (1972-73), 'The semantics of entailment I', in Truth, Syntax and Modality, H. Leblanc (ed.), Amsterdam, North-Holland Publishing Company, 1973, p. 199-243. 'The semantics of entailment II-IIP, Journal of Philosophical Logic 1 (1972), 53-73, 192-208.
-
(1972)
Truth, Syntax and Modality
, pp. 199-243
-
-
Routley, R.1
Meyer, R.K.2
-
57
-
-
0008901103
-
Dialectical logic, classical logic, and the consistency of the world
-
ROUTLEY, R., and R. K. MEYER (1976), 'Dialectical logic, classical logic, and the consistency of the world', Studies in Soviet Thought 16, 1-25.
-
(1976)
Studies in Soviet Thought
, vol.16
, pp. 1-25
-
-
Routley, R.1
Meyer, R.K.2
-
58
-
-
85023488535
-
Semantics of first-degree entailment
-
ROUTLEY, R., and R. V. ROUTLEY (1972), 'Semantics of first-degree entailment', Nous, 335-359.
-
(1972)
Nous
, pp. 335-359
-
-
Routley, R.1
Routley, R.V.2
-
59
-
-
2342597156
-
Models of various type-free calculi
-
P. Suppes et al (eds.), Amsterdam, North-Holland Publishing Co.
-
SCOTT, D., (1973), 'Models of various type-free calculi', in Logic, Methodology and Philosophy of Science IV, P. Suppes et al (eds.), Amsterdam, North-Holland Publishing Co., p. 157-187.
-
(1973)
Logic, Methodology and Philosophy of Science
, vol.4
, pp. 157-187
-
-
Scott, D.1
-
61
-
-
52849132053
-
American plan for intuitionistic logic 1: An intuitive background
-
Academy of Sciences of the Czech Republic
-
SHRAMKO, Y., (2000), 'American plan for intuitionistic logic 1: An intuitive background', LOG 1C A Yearbook '99, Academy of Sciences of the Czech Republic.
-
(2000)
LOG 1C A Yearbook '99
-
-
Shramko, Y.1
-
62
-
-
52849089384
-
The implications of paraconsistency
-
Automated Reasoning Project, Australian national University, Canberra.
-
SLANEY, J., (1989), 'The implications of paraconsistency', Technical Report TR-ARP3/89, Automated Reasoning Project, Australian national University, Canberra.
-
(1989)
Technical Report TR-ARP3/89
-
-
Slaney, J.1
-
63
-
-
52849087461
-
Time, truth, and logic
-
Automated Reasoning Project, Australian national University, Canberra
-
SLANEY, J., T. SURENDONK, and R. GIRLE (1989), 'Time, truth, and logic', Technical Report TR-ARP-11/89, Automated Reasoning Project, Australian national University, Canberra.
-
(1989)
Technical Report TR-ARP-11/89
-
-
Slaney, J.1
Surendonk, T.2
Girle, R.3
-
67
-
-
0002674493
-
Many-valued logic
-
D. Gabbay and F. Guenthner (eds.), Dordrecht, D. Reidel Publishing Company
-
URQUHART, A., (1986), 'Many-valued logic', in Handbook of Philosophical Logic vol. III, Alternatives to Classical Logic, D. Gabbay and F. Guenthner (eds.), Dordrecht, D. Reidel Publishing Company, p. 71-116.
-
(1986)
Handbook of Philosophical Logic Vol. III, Alternatives to Classical Logic
, vol.3
, pp. 71-116
-
-
Urquhart, A.1
-
68
-
-
0041003413
-
Four valued semantics and the liar
-
VlSSER, A., (1984), 'Four valued semantics and the liar', Journal of Philosophical Logic 13, 181-212.
-
(1984)
Journal of Philosophical Logic
, vol.13
, pp. 181-212
-
-
Vlsser, A.1
-
69
-
-
1642337460
-
Logic programming with strong negation and inexact predicates
-
WAGNER, G., (1991), 'Logic programming with strong negation and inexact predicates', Journal of Logic and Computation 1, 835-859.
-
(1991)
Journal of Logic and Computation
, vol.1
, pp. 835-859
-
-
Wagner, G.1
-
70
-
-
0011717613
-
-
Lecture Notes in AI, 764, Berlin, Springer-Verlag
-
WAGNER, G., (1994), Vivid Logic: Know ledge-Based Reasoning with Two kinds of Negation, Lecture Notes in AI, 764, Berlin, Springer-Verlag.
-
(1994)
Vivid Logic: Know Ledge-Based Reasoning with Two Kinds of Negation
-
-
Wagner, G.1
-
71
-
-
0007906762
-
-
Lectures Notes in AI, 681, Berlin, Springer-Verlag
-
WANSING, H., (1993), The Logic of Information Structures, Lectures Notes in AI, 681, Berlin, Springer-Verlag.
-
(1993)
The Logic of Information Structures
-
-
Wansing, H.1
-
72
-
-
84972536188
-
Semantics-based nonmonotonic inference
-
WANSING, H., (1995a), 'Semantics-based nonmonotonic inference', Noire Dame Journal of Formal Logic 36, 44-54.
-
(1995)
Noire Dame Journal of Formal Logic
, vol.36
, pp. 44-54
-
-
Wansing, H.1
-
73
-
-
84981455463
-
Tarskian structured consequence relations and functional completeness
-
WANSING, H., (1995b), 'Tarskian structured consequence relations and functional completeness', Mathematical Logic Quarterly 41, 73-92.
-
(1995)
Mathematical Logic Quarterly
, vol.41
, pp. 73-92
-
-
Wansing, H.1
-
74
-
-
0039816823
-
Paradox, truth and logic, part I: Paradox and truth
-
WOODRUFF, P. W., (1984), 'Paradox, truth and logic, part I: Paradox and truth', Journal of Philosophical Logic 13, 213-232.
-
(1984)
Journal of Philosophical Logic
, vol.13
, pp. 213-232
-
-
Woodruff, P.W.1
|