Journal articles on the topic 'Logic'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 journal articles for your research 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.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
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 textMruczek-Nasieniewska, Krystyna, and Marek Nasieniewski. "A Kotas-Style Characterisation of Minimal Discussive Logic." Axioms 8, no. 4 (October 1, 2019): 108. http://dx.doi.org/10.3390/axioms8040108.
Full textKent, Pamela, and Dennis van Liempd. "Linking Corporate Institutional Logics and Moral Reasoning – Evidence from Large Danish Audit Firms." management revue 32, no. 1 (2021): 53–83. http://dx.doi.org/10.5771/0935-9915-2021-1-53.
Full textKent, Pamela, and Dennis van Liempd. "Linking Corporate Institutional Logics and Moral Reasoning – Evidence from Large Danish Audit Firms." management revue 32, no. 1 (2021): 54–84. http://dx.doi.org/10.5771/0935-9915-2021-1-54.
Full textCloutier, Charlotte, and Ann Langley. "The Logic of Institutional Logics." Journal of Management Inquiry 22, no. 4 (January 24, 2013): 360–80. http://dx.doi.org/10.1177/1056492612469057.
Full textBoolos, George. "Logic, Logic, and Logic." History and Philosophy of Logic 21, no. 3 (September 2000): 223–29. http://dx.doi.org/10.1080/01445340051095856.
Full textBLUTE, R., J. R. B. COCKETT, and R. A. G. SEELY. "The logic of linear functors." Mathematical Structures in Computer Science 12, no. 4 (August 2002): 513–39. http://dx.doi.org/10.1017/s0960129502003717.
Full textKuznetsov, Stepan. "Action Logic is Undecidable." ACM Transactions on Computational Logic 22, no. 2 (May 15, 2021): 1–26. http://dx.doi.org/10.1145/3445810.
Full textFirdaus, Qusthan A. H. "What is This Thing Called Adat Logic?" Jurnal Filsafat 32, no. 1 (June 9, 2022): 58. http://dx.doi.org/10.22146/jf.70202.
Full textPUNČOCHÁŘ, VÍT. "SUBSTRUCTURAL INQUISITIVE LOGICS." Review of Symbolic Logic 12, no. 2 (February 1, 2019): 296–330. http://dx.doi.org/10.1017/s1755020319000017.
Full textSen, Jayanta, and M. K. Chakraborty. "Linear Logic and Lukasiewicz ℵ0- Valued Logic: A Logico-Algebraic Study." Journal of Applied Non-Classical Logics 11, no. 3-4 (January 2001): 313–29. http://dx.doi.org/10.3166/jancl.11.313-329.
Full textGadducci, Fabio, and Ugo Montanari. "Comparing logics for rewriting: rewriting logic, action calculi and tile logic." Theoretical Computer Science 285, no. 2 (August 2002): 319–58. http://dx.doi.org/10.1016/s0304-3975(01)00362-0.
Full textHUET, GÉRARD. "Special issue on ‘Logical frameworks and metalanguages’." Journal of Functional Programming 13, no. 2 (March 2003): 257–60. http://dx.doi.org/10.1017/s0956796802004549.
Full textMajkic, Zoran. "Paraconsistent da Costa Weakening of Intuitionistic Negation: What does it mean?" International Journal of Pure Mathematics 9 (March 16, 2022): 35–48. http://dx.doi.org/10.46300/91019.2022.9.9.
Full textKoellner, Peter. "Strong Logics of First and Second Order." Bulletin of Symbolic Logic 16, no. 1 (March 2010): 1–36. http://dx.doi.org/10.2178/bsl/1264433796.
Full textSchurz, Gerhard. "Why classical logic is privileged: justification of logics based on translatability." Synthese 199, no. 5-6 (November 1, 2021): 13067–94. http://dx.doi.org/10.1007/s11229-021-03367-2.
Full textDevyatkin, Leonid Yu. "On the three-valued expansions of Kleene's logic." Logical Investigations 29, no. 2 (2023): 59–88. http://dx.doi.org/10.21146/2074-1472-2023-29-2-59-88.
Full textGehrke, Mai, Carol Walker, and Elbert Walker. "A Mathematical Setting for Fuzzy Logics." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 05, no. 03 (June 1997): 223–38. http://dx.doi.org/10.1142/s021848859700021x.
Full textDardinier, Thibault, and Peter Müller. "Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties." Proceedings of the ACM on Programming Languages 8, PLDI (June 20, 2024): 1485–509. http://dx.doi.org/10.1145/3656437.
Full textDahlmann, Frederik, and Johanne Grosvold. "Environmental Managers and Institutional Work: Reconciling Tensions of Competing Institutional Logics." Business Ethics Quarterly 27, no. 2 (February 27, 2017): 263–91. http://dx.doi.org/10.1017/beq.2016.65.
Full textWidlok, Thomas, and Keith Stenning. "Seeking Common Cause between Cognitive Science and Ethnography: Alternative Logic in Cooperative Action." Journal of Cognition and Culture 18, no. 1-2 (March 28, 2018): 1–30. http://dx.doi.org/10.1163/15685373-12340027.
Full textМаркин, В. И. "What trends in non-classical logic were anticipated by Nikolai Vasiliev?" Logical Investigations 19 (April 9, 2013): 122–35. http://dx.doi.org/10.21146/2074-1472-2013-19-0-122-135.
Full textXiong, Liping, and Sumei Guo. "Representation and Reasoning about Strategic Abilities with ω-Regular Properties." Mathematics 9, no. 23 (November 27, 2021): 3052. http://dx.doi.org/10.3390/math9233052.
Full textDYCK, Corey W. "THE PRIORITY OF JUDGING: KANT ON WOLFF’S GENERAL LOGIC." Estudos Kantianos [EK] 4, no. 02 (January 25, 2017): 99–118. http://dx.doi.org/10.36311/2318-0501.2016.v4n2.07.p99.
Full textAvron, Arnon. "Natural 3-valued logics—characterization and proof theory." Journal of Symbolic Logic 56, no. 1 (March 1991): 276–94. http://dx.doi.org/10.2307/2274919.
Full textKondratyev, Dmitry A. "Logic for reasoning about bugs in loops over data sequences (IFIL)." Modeling and Analysis of Information Systems 30, no. 3 (September 17, 2023): 214–33. http://dx.doi.org/10.18255/1818-1015-2023-3-214-233.
Full textKAMIDE, NORIHIRO. "Embedding theorems for LTL and its variants." Mathematical Structures in Computer Science 25, no. 1 (December 2, 2014): 83–134. http://dx.doi.org/10.1017/s0960129514000048.
Full textWalker, Matt, Parssa Khazra, Anto Nanah Ji, Hongru Wang, and Franck van Breugel. "jpf-logic." ACM SIGSOFT Software Engineering Notes 48, no. 1 (January 10, 2023): 32–36. http://dx.doi.org/10.1145/3573074.3573083.
Full textEstrada-González, Luis. "Logic taking care of itself: the case of connexive logic." Principia: an international journal of epistemology 28, no. 1 (July 10, 2024): 155–65. http://dx.doi.org/10.5007/1808-1711.2024.e96733.
Full textHannula, Miika, Juha Kontinen, and Jonni Virtema. "Polyteam semantics." Journal of Logic and Computation 30, no. 8 (September 23, 2020): 1541–66. http://dx.doi.org/10.1093/logcom/exaa048.
Full textHu, Zhi Ming, Zhong Qi Wang, Ning Li, and Hui Ping Wang. "Description Logics in Information Semantic Integration for Product Design and Manufacturing." Advanced Materials Research 542-543 (June 2012): 251–54. http://dx.doi.org/10.4028/www.scientific.net/amr.542-543.251.
Full textDemey, Lorenz. "Logic-Sensitivity of Aristotelian Diagrams in Non-Normal Modal Logics." Axioms 10, no. 3 (June 22, 2021): 128. http://dx.doi.org/10.3390/axioms10030128.
Full textBESSON, CORINE. "EXTERNALISM, INTERNALISM, AND LOGICAL TRUTH." Review of Symbolic Logic 2, no. 1 (March 2009): 1–29. http://dx.doi.org/10.1017/s1755020309090091.
Full textRimatskiy, V. V. "Admissible Inference Rules and Semantic Property of Modal Logics." Bulletin of Irkutsk State University. Series Mathematics 37 (2021): 104–17. http://dx.doi.org/10.26516/1997-7670.2021.37.104.
Full textALIZADEH, MAJID, FARZANEH DERAKHSHAN, and HIROAKIRA ONO. "UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS." Review of Symbolic Logic 7, no. 3 (May 27, 2014): 455–83. http://dx.doi.org/10.1017/s175502031400015x.
Full textBarrio, Eduardo, Lucas Rosenblatt, and Diego Tajer. "The Logics of Strict-Tolerant Logic." Journal of Philosophical Logic 44, no. 5 (December 31, 2014): 551–71. http://dx.doi.org/10.1007/s10992-014-9342-6.
Full textKooi, Barteld, and Allard Tamminga. "Three-valued Logics in Modal Logic." Studia Logica 101, no. 5 (August 21, 2012): 1061–72. http://dx.doi.org/10.1007/s11225-012-9420-0.
Full textJin, Chen. "A review on multiple-valued logic circuits." Applied and Computational Engineering 43, no. 1 (February 26, 2024): 322–26. http://dx.doi.org/10.54254/2755-2721/43/20230857.
Full textMetcalfe, George, and Franco Montagna. "Substructural fuzzy logics." Journal of Symbolic Logic 72, no. 3 (September 2007): 834–64. http://dx.doi.org/10.2178/jsl/1191333844.
Full textFujio, Mitsuhiko. "A Comparison of Implications in Orthomodular Quantum Logic—Morphological Analysis of Quantum Logic." International Journal of Mathematics and Mathematical Sciences 2012 (2012): 1–8. http://dx.doi.org/10.1155/2012/259541.
Full textStandefer, Shawn. "Tracking reasons with extensions of relevant logics." Logic Journal of the IGPL 27, no. 4 (June 25, 2019): 543–69. http://dx.doi.org/10.1093/jigpal/jzz018.
Full text