Academic literature on the topic 'Logic'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic '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.
Journal articles on the topic "Logic"
Holba, Jiří. "Buddhismus a aristotelská logika." FILOSOFIE DNES 3, no. 1 (June 17, 2011): 27–36. http://dx.doi.org/10.26806/fd.v3i1.60.
Full textHolba, Jiří. "Buddhismus a aristotelská logika." FILOSOFIE DNES 3, no. 1 (June 17, 2011): 27–36. http://dx.doi.org/10.26806/fd.v3i1.325.
Full textLewitzka, Steffen. "Abstract Logics, Logic Maps, and Logic Homomorphisms." Logica Universalis 1, no. 2 (August 8, 2007): 243–76. http://dx.doi.org/10.1007/s11787-007-0013-z.
Full textOliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics." Bulletin of Symbolic Logic 28, no. 2 (June 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.
Full textTulenheimo, Tero. "Three Nordic Neo-Aristotelians and the First Doorkeeper of Logic." Studia Neoaristotelica 19, no. 1 (2022): 3–106. http://dx.doi.org/10.5840/studneoar20221911.
Full textFeferman, Solomon. "Logic, Logics, and Logicism." Notre Dame Journal of Formal Logic 40, no. 1 (January 1999): 31–54. http://dx.doi.org/10.1305/ndjfl/1039096304.
Full textMott, Peter. "Default non-monotonic logic." Knowledge Engineering Review 3, no. 4 (December 1988): 265–84. http://dx.doi.org/10.1017/s0269888900004586.
Full textFrancez, Nissim. "Bilateral Connexive Logic." Logics 1, no. 3 (August 4, 2023): 157–62. http://dx.doi.org/10.3390/logics1030008.
Full textGolan, Rea, and Ulf Hlobil. "Minimally Nonstandard K3 and FDE." Australasian Journal of Logic 19, no. 5 (December 20, 2022): 182–213. http://dx.doi.org/10.26686/ajl.v19i5.7540.
Full textMA, MINGHUI, and HANS VAN DITMARSCH. "DYNAMIC GRADED EPISTEMIC LOGIC." Review of Symbolic Logic 12, no. 4 (July 12, 2019): 663–84. http://dx.doi.org/10.1017/s1755020319000285.
Full textDissertations / Theses on the topic "Logic"
Zhu, Biao. "Logic programming framework for resolution logics." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0006/MQ43411.pdf.
Full textRabe, Florian [Verfasser]. "Representing logics and logic translations / Florian Rabe." Bremen : IRC-Library, Information Resource Center der Jacobs University Bremen, 2009. http://d-nb.info/103498439X/34.
Full textMezzadri, Daniele. "Language and logic in Wittgenstein's Tractatus Logico-Philosophicus." Thesis, University of Stirling, 2010. http://hdl.handle.net/1893/2432.
Full textFriend, Michèle Indira. "Second-order logic is logic." Thesis, University of St Andrews, 1997. http://hdl.handle.net/10023/14753.
Full textNguyen, Loc Bao. "Logic design using programmable logic devices." PDXScholar, 1988. https://pdxscholar.library.pdx.edu/open_access_etds/4103.
Full textSack, Joshua. "Adding temporal logic to dynamic epistemic logic." [Bloomington, Ind.] : Indiana University, 2007. http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqdiss&rft_dat=xri:pqdiss:3274928.
Full textSource: Dissertation Abstracts International, Volume: 68-07, Section: B, page: 4531. Adviser: Lawrence Moss. Title from dissertation home page (viewed Apr. 22, 2008).
Veen, Maria Helena van der. "[Pi]-Logic." [S.l. : Groningen : s.n. ; University Library Groningen] [Host], 2006. http://irs.ub.rug.nl/ppn/293902518.
Full textMerrison, Joanne. "Coleridge's logic." Thesis, University of East Anglia, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316092.
Full textWheelhouse, Mark James. "Segment logic." Thesis, Imperial College London, 2012. http://hdl.handle.net/10044/1/10473.
Full textRoşu, Grigore. "Hidden logic /." Diss., Connect to a 24 p. preview or request complete full text in PDF format. Access restricted to UC campuses, 2000. http://wwwlib.umi.com/cr/ucsd/fullcit?p9979966.
Full textBooks on the topic "Logic"
Neblett, William. Sherlock's logic. Lanham, MD: University Press of America, 1985.
Find full textBoolos, George. Logic, logic, and logic. Cambridge, Mass: Harvard University Press, 1998.
Find full textGabbay, Dov M. Handbook of Philosophical Logic: Volume 16. Dordrecht: Springer Science+Business Media B.V., 2011.
Find full textCopi, Irving M. Introduction to logic. Upper Saddle River, N.J: Pearson/Prentice Hall, 2005.
Find full textCopi, Irving M. Introduction to logic. Upper Saddle River, N.J: Pearson/Prentice Hall, 2009.
Find full textCopi, Irving M. Introduction to logic. 8th ed. New York: Macmillan, 1990.
Find full textCopi, Irving M. Introduction to logic. 9th ed. New York: Macmillan Pub., 1994.
Find full textCopi, Irving M. Introduction to logic. 9th ed. New York: Macmillan Pub., 1994.
Find full textCopi, Irving M. Introduction to logic. Upper Saddle River, N.J: Pearson/Prentice Hall, 2009.
Find full textCopi, Irving M. Introduction to logic. 7th ed. New York: Macmillan, 1986.
Find full textBook chapters on the topic "Logic"
Hájek, Petr. "Product Logic, Gödel Logic (and Boolean Logic)." In Trends in Logic, 89–107. Dordrecht: Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-011-5300-3_4.
Full textBlair, J. Anthony. "Informal Logic and Logic." In Argumentation Library, 119–32. Dordrecht: Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-94-007-2363-4_10.
Full textKontchakov, Roman, Agi Kurucz, Frank Wolter, and Michael Zakharyaschev. "Spatial Logic + Temporal Logic = ?" In Handbook of Spatial Logics, 497–564. Dordrecht: Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-5587-4_9.
Full textHájek, Petr. "Fuzzy Logic as Logic." In Mathematical Models for Handling Partial Knowledge in Artificial Intelligence, 21–30. Boston, MA: Springer US, 1995. http://dx.doi.org/10.1007/978-1-4899-1424-8_2.
Full textSilvestre, Ricardo Sousa. "Philosophical Logic = Philosophy + Logic?" In Studies in Universal Logic, 281–301. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-94452-0_15.
Full textElahi, Ata. "Boolean Logics and Logic Gates." In Computer Systems, 29–45. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66775-1_2.
Full textElahi, Ata. "Boolean Logics and Logic Gates." In Computer Systems, 33–50. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-93449-1_2.
Full textŠimkus, Mantas. "Fusion of Logic Programming and Description Logics." In Logic Programming, 551–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02846-5_59.
Full textYeap, Gary. "Logic." In Practical Low Power Digital VLSI Design, 117–38. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-6065-4_5.
Full textGrattan-Guinness, Ivor, and Gérard Bornet. "Logic." In Science Networks. Historical Studies, 126–53. Basel: Birkhäuser Basel, 1997. http://dx.doi.org/10.1007/978-3-0348-8859-2_11.
Full textConference papers on the topic "Logic"
Kang, Han-Ok, and Cheon-Tae Park. "Option Study on a Steam Pressure Control Logic for SMART." In 16th International Conference on Nuclear Engineering. ASMEDC, 2008. http://dx.doi.org/10.1115/icone16-48217.
Full textLu, Xu, Cong Tian, and Zhenhua Duan. "Temporalising Separation Logic for Planning with Search Control Knowledge." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/162.
Full textQuaiyum Ansari, Abdul. "Keynote speakers: From fuzzy logic to neutrosophic logic: A paradigme shift and logics." In 2017 International Conference on Intelligent Communication and Computational Techniques (ICCT). IEEE, 2017. http://dx.doi.org/10.1109/intelcct.2017.8324067.
Full textBelardinelli, Francesco, Alessio Lomuscio, Aniello Murano, and Sasha Rubin. "Alternating-time Temporal Logic on Finite Traces." In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/11.
Full textBenevides, Mario Folhadela, and Isaque Macalam Saab Lima. "Dynamic Epistemic Logic with Assignments, Concurrency and Communication Actions." In Workshop Brasileiro de Lógica. Sociedade Brasileira de Computação - SBC, 2020. http://dx.doi.org/10.5753/wbl.2020.11455.
Full textHerzig, Andreas, Frédéric Maris, and Elise Perrotin. "A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition." In 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/kr.2021/68.
Full textTanida, J., and Y. Ichioka. "OPALS: Optical Parallel Array Logic System." In Optical Computing. Washington, D.C.: Optica Publishing Group, 1985. http://dx.doi.org/10.1364/optcomp.1985.tua4.
Full textWild, Paul, and Lutz Schröder. "A Characterization Theorem for a Modal Description Logic." In Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/181.
Full textSimpson, Andrew. "Logic, damned logic, and statistics." In Teaching Formal Methods: Practice and Experience. BCS Learning & Development, 2006. http://dx.doi.org/10.14236/ewic/tfm2006.9.
Full text"EPISODIC LOGIC: NATURAL LOGIC + REASONING." In International Conference on Knowledge Engineering and Ontology Development. SciTePress - Science and and Technology Publications, 2011. http://dx.doi.org/10.5220/0003690003040310.
Full textReports on the topic "Logic"
Obua, Steven. Abstraction Logic. Recursive Mind, November 2021. http://dx.doi.org/10.47757/abstraction.logic.2.
Full textNguyen, Loc. Logic design using programmable logic devices. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.5987.
Full textGarg, Deepak, and Michael C. Tschantz. From Indexed Lax Logic to Intuitionistic Logic. Fort Belvoir, VA: Defense Technical Information Center, January 2008. http://dx.doi.org/10.21236/ada476728.
Full textTailor, Sanjay. Fuzzy Logic. Fort Belvoir, VA: Defense Technical Information Center, May 1996. http://dx.doi.org/10.21236/ada310470.
Full textKarri, Ramesh, Ozgur Sinanoglu, and Jeyavihayan Rajendran. Logic Encryption. Fort Belvoir, VA: Defense Technical Information Center, February 2014. http://dx.doi.org/10.21236/ada595228.
Full textObua, Steven. Abstraction Logic. Steven Obua (as Recursive Mind), October 2021. http://dx.doi.org/10.47757/abstraction.logic.1.
Full textJaspan, Ciera, Trisha Quan, and Jonathan Aldrich. Error Reporting Logic. Fort Belvoir, VA: Defense Technical Information Center, June 2008. http://dx.doi.org/10.21236/ada485458.
Full textCarter, Nicholas P. Magnetoelectronic Reconfigurable Logic. Fort Belvoir, VA: Defense Technical Information Center, October 2005. http://dx.doi.org/10.21236/ada444869.
Full textGiesecke, Normen. Ternary quantum logic. Portland State University Library, January 2000. http://dx.doi.org/10.15760/etd.5975.
Full textObua, Steven. Automating Abstraction Logic. Steven Obua (trading as Recursive Mind), March 2022. http://dx.doi.org/10.47757/aal.1.
Full text