Books on the topic 'Propositional logic'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 books for your research on the topic 'Propositional logic.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse books on a wide variety of disciplines and organise your bibliography correctly.
Fairtlough, Matt. Propositional lax logic. Sheffield: University of Sheffield, Dept. of Computer Science, 1995.
Find full textG, Lycan William, and Pospesel Mark, eds. Propositional Logic (Introduction to Logic). 3rd ed. Upper Saddle River, N.J: Prentice Hall, 2000.
Find full textG, Lycan William, ed. Propositional Logic (Introduction to Logic). 3rd ed. Upper Saddle River, N.J: Prentice Hall, 1998.
Find full textGisle, Andersen, and Fretheim Thorstein, eds. Pragmatic markers and propositional attitude. Amsterdam: J. Benjamins Pub., 2000.
Find full textDahllöf, Mats. On the semantics of propositional attitude reports. Göteborg, Sweden: Göteborg University, Dept. of Linguistics, 1995.
Find full textHudson, Stephen. Demonstration software in propositional logic. Oxford: Oxford Brookes University, 2001.
Find full textTheodor, Lettman, ed. Propositional logic: Deduction and algorithms. Cambridge [England]: Cambridge University Press, 1999.
Find full textLi, Wei, and Yuefei Sui. R-Calculus, IV: Propositional Logic. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-19-8633-8.
Full textEpstein, Richard L. The Semantic Foundations of Logic Volume 1: Propositional Logics. Dordrecht: Springer Netherlands, 1990. http://dx.doi.org/10.1007/978-94-009-0525-2.
Full textPoggiolesi, Francesca. Gentzen Calculi for Modal Propositional Logic. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-90-481-9670-8.
Full textservice), SpringerLink (Online, ed. Gentzen Calculi for Modal Propositional Logic. Dordrecht: Springer Science+Business Media B.V., 2011.
Find full textKatarzyna, Jaszczolt, ed. The pragmatics of propositional attitude reports. Oxford: Elsevier, 2000.
Find full textRichard, Mark. Propositional attitudes: An essay on thoughts and how we ascribe them. Cambridge [England] ; New York: Cambridge University Press, 1990.
Find full textWitold, Pogorzelski. Completeness theory for propositional logics. Basel: Birkhäuser, 2008.
Find full textINTERMEDIATE LOGIC (TEACHER EDITION): Mastering propositional arguments. [S.l.]: CANON PRESS, 2014.
Find full textINTERMEDIATE LOGIC (STUDENT EDITION): Mastering propositional arguments. [S.l.]: CANON PRESS, 2014.
Find full textKrajíček, Jan. Bounded arithmetic, propositional logic, and complexity theory. Cambridge [England]: Cambridge University Press, 1995.
Find full textMatthews, Robert J. The measure of mind: Propositional attitudes and their attribution. Oxford: Oxford University Press, 2007.
Find full textHarris, J. G. Approaches to the satisfiability problem of propositional logic. Manchester: UMIST, 1994.
Find full textA, Smirnov V., Karpenko A. S, Bystrov P. I, and Institut filosofii (Akademii͡a︡ nauk SSSR), eds. Neklassicheskie logiki i propozit͡s︡ionalʹnye ustanovki: Trudy Nauchno-issledovatelʹskiĭ seminara po logike Instituta filosofii AN SSSR. Moskva: Akademii͡a︡ nauk SSSR, In-t filosofii, 1987.
Find full textHaydar, May. Adding propositional scopes to linear temporal logic: Rapport technique. Montréal: Centre de recherche informatique de Montréal, 2005.
Find full textThe method of Socratic proofs for normal modal propositional logics. Poznań: Wydawn. Naukowe Uniwersytetu im. Adama Mickiewicza, 2007.
Find full textBouchard, Yves. Calcul en logique du premier ordre. Québec (Québec): Presses de l'Université du Québec, 2015.
Find full textLemmon, E. J. Beginning logic. Boca Raton, FL: Chapman & Hall/CRC, 1998.
Find full textAnthony, Anderson C., and Owens Joseph 1943-, eds. Propositional attitudes: The role of content in logic, language, and mind. Stanford, CA: Center for the Study of Language and Information, 1990.
Find full textPropositional perception: Phantasia, predication, and sign in Plato, Aristotle, and the Stoics. Lanham, Md: University Press of America, 2002.
Find full textSmith, Francis J. Propositional dynamic logic of regular programs with tests, converse and infinite computations. Ottawa: Carleton University, Mathematics and Statistics, 1988.
Find full textGhilardi, Silvio. Sheaves, games, and model completions: A categorical approach to nonclassical propositional logics. Dordrecht: Kluwer Academic Publishers, 2002.
Find full textGhilardi, Silvio. Sheaves, games, and model completions: A categorical approach to nonclassical propositional logics. Dordrecht: Kluwer Academic Publishers, 2002.
Find full textMatthews, Robert J. The measure of mind: Propositional attitudes and their attribution. Oxford: Oxford University Press, 2010.
Find full textGhilardi, Silvio. Sheaves, Games, and Model Completions: A Categorial Approach to Nonclassical Propositional Logics. Dordrecht: Springer Netherlands, 2002.
Find full textIntroduction to mathematics of satisfiability. Boca Raton: Taylor & Francis, 2009.
Find full textPredicative minds: The social ontogeny of propositional thinking. Cambridge, MA: MIT Press, 2009.
Find full textNaishtat, Francisco S. Lógica para computación. [Buenos Aires]: Editorial Universitaria de Buenos Aires, 1986.
Find full textSAT 2010 (2010 Edinburgh, UK). Theory and applications of satisfiability testing-- SAT 2010: 13th international conference, SAT 2010 Edinburgh, UK, July 2010 : proceedings. Berlin: Springer, 2010.
Find full textPospesel, Howard, and William G. Lycan. Introduction to Logic: Propositional Logic. 3rd ed. Prentice Hall College Div, 1997.
Find full textPospesel, Howard, and William G. Lycan. Introduction to Logic: Propositional Logic. Prentice Hall College Div, 1997.
Find full textAndersen, Gisle, and Thorstein Fretheim. Pragmatic Markers and Propositional Attitude. Benjamins Publishing Company, John, 2000.
Find full textHanks, Peter. Propositional Content. Oxford University Press, 2015.
Find full textHanks, Peter. Propositional Content. Oxford University Press, 2019.
Find full textPropositional Logics: The Semantic Foundations of Logic. 2nd ed. Wadsworth Publishing, 2000.
Find full textEpstein, Richard L., Stanisław Krajewski, Walter A. Carnielli, Itala M. L. D'Ottaviano, and Roger D. Maddux. Propositional Logics (The Semantic Foundations of Logic). Oxford University Press, USA, 1995.
Find full textPospesel, Howard. Introduction to Logic: Propositional Logic (3rd Edition). Prentice Hall, 1999.
Find full textPospesel, Howard. Introduction to Logic: Propositional Logic (3rd Edition). 3rd ed. Prentice Hall, 1999.
Find full textd'Ottaviano, Itala M., Stanislaw Krajewski, Roger D. Maddux, Walter Carnielli, and R. L. Epstein. Semantic Foundations of Logic Volume 1: Propositional Logics. Springer London, Limited, 2013.
Find full textd'Ottaviano, Itala M., Stanislaw Krajewski, Roger D. Maddux, Walter Carnielli, and R. L. Epstein. Semantic Foundations of Logic Volume 1: Propositional Logics. Springer Netherlands, 2013.
Find full textLi, Wei, and Yuefei Sui. R-Calculus, IV: Propositional Logic. Springer, 2023.
Find full textJarmuzek, Tomasz. Tableau Methods for Propositional Logic and Term Logic. Lang GmbH, Internationaler Verlag der Wissenschaften, Peter, 2021.
Find full textJarmuzek, Tomasz. Tableau Methods for Propositional Logic and Term Logic. Lang GmbH, Internationaler Verlag der Wissenschaften, Peter, 2021.
Find full textJarmuzek, Tomasz. Tableau Methods for Propositional Logic and Term Logic. Lang GmbH, Internationaler Verlag der Wissenschaften, Peter, 2021.
Find full text