Log in

Relevant bibliographies by topics / Logic

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Logic'

Author: Grafiati

Published: 4 June 2021

Last updated: 25 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

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"

1

Holba, Jiří. "Buddhismus a aristotelská logika." FILOSOFIE DNES 3, no. 1 (2011): 27–36. http://dx.doi.org/10.26806/fd.v3i1.60.

Full text

Abstract:

Abstrakt/Abstract Článek pojednává o buddhistické logice a jejím vztahu k logice aristotelské, zejména k principu sporu a principu vyloučeného třetího. Dotkne se také dialetheismu a parakonzistentních logik, které se v souvislosti s interpretacemi buddhismu objevují. The article deals with the Buddhist logic and its relation to Aristotle’s logic, in particular, to the principle of non-contradiction and the principle of exluded middle. It also tackles the topic of dialetheism and paraconsistent logics, which are sometimes mentioned in connection with the interpretations of Buddhism.

APA, Harvard, Vancouver, ISO, and other styles

2

Holba, Jiří. "Buddhismus a aristotelská logika." FILOSOFIE DNES 3, no. 1 (2011): 27–36. http://dx.doi.org/10.26806/fd.v3i1.325.

Full text

Abstract:

Abstrakt/Abstract Článek pojednává o buddhistické logice a jejím vztahu k logice aristotelské, zejména k principu sporu a principu vyloučeného třetího. Dotkne se také dialetheismu a parakonzistentních logik, které se v souvislosti s interpretacemi buddhismu objevují. The article deals with the Buddhist logic and its relation to Aristotle’s logic, in particular, to the principle of non-contradiction and the principle of exluded middle. It also tackles the topic of dialetheism and paraconsistent logics, which are sometimes mentioned in connection with the interpretations of Buddhism.

APA, Harvard, Vancouver, ISO, and other styles

3

Lewitzka, Steffen. "Abstract Logics, Logic Maps, and Logic Homomorphisms." Logica Universalis 1, no. 2 (2007): 243–76. http://dx.doi.org/10.1007/s11787-007-0013-z.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Oliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics." Bulletin of Symbolic Logic 28, no. 2 (2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.

Full text

Abstract:

AbstractFrom the interaction among areas such as Computer Science, Formal Logic, and Automated Deduction arises an important new subject called Logic Programming. This has been used continuously in the theoretical study and practical applications in various fields of Artificial Intelligence. After the emergence of a wide variety of non-classical logics and the understanding of the limitations presented by first-order classical logic, it became necessary to consider logic programming based on other types of reasoning in addition to classical reasoning. A type of reasoning that has been well stu

APA, Harvard, Vancouver, ISO, and other styles

5

Tulenheimo, 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 text

Abstract:

I discuss the views on logic held by three early Nordic neo-Aristotelians — the Swedes Johannes Canuti Lenaeus (1573–1669) and Johannes Rudbeckius (1581–1646), and the Dane Caspar Bartholin (1585–1629). They all studied in Wittenberg (enrolled respectively in 1597, 1601, and 1604) and were exponents of protestant (Lutheran) scholasticism. The works I utilize are Janitores logici bini (1607) and Enchiridion logicum (1608) by Bartholin; Logica (1625) and Controversiae logices (1629) by Rudbeckius; and Logica peripatetica (1633) by Lenaeus. Rudbeckius’s and Lenaeus’s books were published much lat

APA, Harvard, Vancouver, ISO, and other styles

6

Feferman, Solomon. "Logic, Logics, and Logicism." Notre Dame Journal of Formal Logic 40, no. 1 (1999): 31–54. http://dx.doi.org/10.1305/ndjfl/1039096304.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Golan, Rea, and Ulf Hlobil. "Minimally Nonstandard K3 and FDE." Australasian Journal of Logic 19, no. 5 (2022): 182–213. http://dx.doi.org/10.26686/ajl.v19i5.7540.

Full text

Abstract:

Graham Priest has formulated the minimally inconsistent logic of paradox (MiLP), which is paraconsistent like Priest’s logic of paradox (LP), while staying closer to classical logic. We present logics that stand to (the propositional fragments of) strong Kleene logic (K3) and the logic of first-degree entailment (FDE) as MiLP stands to LP. That is, our logics share the paracomplete and the paraconsistent-cum-paracomplete nature of K3 and FDE, respectively, while keeping these features to a minimum in order to stay closer to classical logic. We give semantic and sequent-calculus formulations of

APA, Harvard, Vancouver, ISO, and other styles

8

Mott, Peter. "Default non-monotonic logic." Knowledge Engineering Review 3, no. 4 (1988): 265–84. http://dx.doi.org/10.1017/s0269888900004586.

Full text

Abstract:

AbstractThis paper is a review of certain non-monotonic logics, which I call default non-monotonic logics. These are logics which exploit failure to prove. How each logic uses this basic idea is explained, and examples given. The emphasis is on leading ideas explained through examples: technical detail is avoided. Four non-monotonic logics are discussed: Reiter's default logic, McCarthy's circumscription, McDermott's modal non-monotonic logic, and Clarks's completed database. The first two are treated in some detail. The recent Hanks-McDermott criticism of non-monotonic logic is discussed, and

APA, Harvard, Vancouver, ISO, and other styles

9

Mruczek-Nasieniewska, Krystyna, and Marek Nasieniewski. "A Kotas-Style Characterisation of Minimal Discussive Logic." Axioms 8, no. 4 (2019): 108. http://dx.doi.org/10.3390/axioms8040108.

Full text

Abstract:

In this paper, we discuss a version of discussive logic determined by a certain variant of Jaśkowski’s original model of discussion. The obtained system can be treated as the minimal discussive logic. It is determined by frames with serial accessibility relation. As the smallest one, this logic can be treated as a basis which could be extended to richer discussive logics that are obtained by varying accessibility relation and resulting in a lattice of discussive logics. One has to remember that while formulating discussive logics there is no one-to-one determination of discussive logics by mod

APA, Harvard, Vancouver, ISO, and other styles

10

Francez, Nissim. "Bilateral Connexive Logic." Logics 1, no. 3 (2023): 157–62. http://dx.doi.org/10.3390/logics1030008.

Full text

Abstract:

This paper proposes a bilateral analysis of connexivity, presenting a bilateral natural deduction system for a weak connexive logic. The proposed logic deviates from other connexive logics and other bilateral logics in the following respects: (1) The logic induces a difference in meaning between inner and outer occurrences of negation in the connexive axioms. (2) The logic allows incoherence—assertion and denial of the same formula—while still being non-trivial.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Logic"

1

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 text

APA, Harvard, Vancouver, ISO, and other styles

2

Rabe, 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 text

APA, Harvard, Vancouver, ISO, and other styles

3

Mezzadri, Daniele. "Language and logic in Wittgenstein's Tractatus Logico-Philosophicus." Thesis, University of Stirling, 2010. http://hdl.handle.net/1893/2432.

Full text

Abstract:

This thesis discusses some central aspects of Wittgenstein’s conception of language and logic in his Tractatus Logico-Philosophicus and brings them into relation with the philosophies of Frege and Russell. The main contention is that a fruitful way of understanding the Tractatus is to see it as responding to tensions in Frege’s conception of logic and Russell’s theory of judgement. In the thesis the philosophy of the Tractatus is presented as developing from these two strands of criticism and thus as the culmination of the philosophy of logic and language developed in the early analytic period

APA, Harvard, Vancouver, ISO, and other styles

4

Friend, Michèle Indira. "Second-order logic is logic." Thesis, University of St Andrews, 1997. http://hdl.handle.net/10023/14753.

Full text

Abstract:

"Second-order logic" is the name given to a formal system. Some claim that the formal system is a logical system. Others claim that it is a mathematical system. In the thesis, I examine these claims in the light of some philosophical criteria which first motivated Frege in his logicist project. The criteria are that a logic should be universal, it should reflect our intuitive notion of logical validity, and it should be analytic. The analysis is interesting in two respects. One is conceptual: it gives us a purchase on where and how to draw a distinction between logic and other sciences. The ot

APA, Harvard, Vancouver, ISO, and other styles

5

Nguyen, Loc Bao. "Logic design using programmable logic devices." PDXScholar, 1988. https://pdxscholar.library.pdx.edu/open_access_etds/4103.

Full text

Abstract:

The Programmable Logic Devices, PLO, have caused a major impact in logic design of digital systems in this decade. For instance, a twenty pin PLO device can replace from three hundreds to six hundreds Transistor Transistor Logic gates, which people have designed with since the 60s. Therefore, by using PLD devices, designers can squeeze more features, reduce chip counts, reduce power consumption, and enhance the reliability of the digital systems. This thesis covers the most important aspects of logic design using PLD devices. They are Logic Minimization and State Assignment. In addition, the t

APA, Harvard, Vancouver, ISO, and other styles

6

Sack, 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 text

Abstract:

Thesis (Ph.D.)--Indiana University, Dept. of Mathematics, 2007.<br>Source: Dissertation Abstracts International, Volume: 68-07, Section: B, page: 4531. Adviser: Lawrence Moss. Title from dissertation home page (viewed Apr. 22, 2008).

APA, Harvard, Vancouver, ISO, and other styles

7

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 text

APA, Harvard, Vancouver, ISO, and other styles

8

Merrison, Joanne. "Coleridge's logic." Thesis, University of East Anglia, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.316092.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Wheelhouse, Mark James. "Segment logic." Thesis, Imperial College London, 2012. http://hdl.handle.net/10044/1/10473.

Full text

Abstract:

O'Hearn, Reynolds and Yang introduced local Hoare reasoning about mutable data structures using separation logic. They reason about the local parts of the memory accessed by programs, and thus construct their smallest complete specifications. Gardner et al. generalised their work, using context logic to reason about structured data at the same level of abstraction as the data itself. In particular, we developed a formal specification of the Document Object Model (DOM), a W3C XML update library. Whilst we kept to the spirit of local reasoning, we were not able to retain small specifications for

APA, Harvard, Vancouver, ISO, and other styles

10

Roş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 text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Logic"

1

Neblett, William. Sherlock's logic. University Press of America, 1985.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Boolos, George. Logic, logic, and logic. Harvard University Press, 1998.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Gabbay, Dov M. Handbook of Philosophical Logic: Volume 16. Springer Science+Business Media B.V., 2011.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Copi, Irving M. Introduction to logic. Pearson/Prentice Hall, 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Copi, Irving M. Introduction to logic. Pearson/Prentice Hall, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Copi, Irving M. Introduction to logic. 8th ed. Macmillan, 1990.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Copi, Irving M. Introduction to logic. 9th ed. Macmillan Pub., 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Copi, Irving M. Introduction to logic. 9th ed. Macmillan Pub., 1994.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Copi, Irving M. Introduction to logic. Pearson/Prentice Hall, 2009.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Copi, Irving M. Introduction to logic. 7th ed. Macmillan, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Logic"

1

Hájek, Petr. "Product Logic, Gödel Logic (and Boolean Logic)." In Trends in Logic. Springer Netherlands, 1998. http://dx.doi.org/10.1007/978-94-011-5300-3_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Blair, J. Anthony. "Informal Logic and Logic." In Argumentation Library. Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-94-007-2363-4_10.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kontchakov, Roman, Agi Kurucz, Frank Wolter, and Michael Zakharyaschev. "Spatial Logic + Temporal Logic = ?" In Handbook of Spatial Logics. Springer Netherlands, 2007. http://dx.doi.org/10.1007/978-1-4020-5587-4_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Silvestre, Ricardo Sousa. "Philosophical Logic = Philosophy + Logic?" In Studies in Universal Logic. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-94452-0_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Hájek, Petr. "Fuzzy Logic as Logic." In Mathematical Models for Handling Partial Knowledge in Artificial Intelligence. Springer US, 1995. http://dx.doi.org/10.1007/978-1-4899-1424-8_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Elahi, Ata. "Boolean Logics and Logic Gates." In Computer Systems. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66775-1_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Elahi, Ata. "Boolean Logics and Logic Gates." In Computer Systems. Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-93449-1_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Šimkus, Mantas. "Fusion of Logic Programming and Description Logics." In Logic Programming. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02846-5_59.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Yeap, Gary. "Logic." In Practical Low Power Digital VLSI Design. Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-6065-4_5.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Grattan-Guinness, Ivor, and Gérard Bornet. "Logic." In Science Networks. Historical Studies. Birkhäuser Basel, 1997. http://dx.doi.org/10.1007/978-3-0348-8859-2_11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logic"

1

Artale, Alessandro, Roman Kontchakov, Andrea Mazzullo, and Frank Wolter. "Non-Rigid Designators in Modal and Temporal Free Description Logics." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/8.

Full text

Abstract:

Definite descriptions, such as ‘the General Chair of KR 2024’, are a semantically transparent device for object identification in knowledge representation. In first-order modal logic, definite descriptions have been widely investigated for their non-rigidity, which allows them to designate different objects (or none at all) at different states. We propose expressive modal description logics with non-rigid definite descriptions and names, and investigate decidability and complexity of the satisfiability problem. We first systematically link satisfiability for the one-variable fragment of first-

APA, Harvard, Vancouver, ISO, and other styles

2

Chen, Xinjia, and Paul Muench. "Deviation of fuzzy logic from earthling logic." In Unmanned Systems Technology XXVII, edited by Paul L. Muench, Robert Diltz, and Raja Suresh. SPIE, 2025. https://doi.org/10.1117/12.3052884.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Coumes, Simon, Pierre-Henri Paris, François Schwarzentruber, and Fabian M. Suchanek. "Qiana: A First-Order Formalism to Quantify over Contexts and Formulas." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/28.

Full text

Abstract:

We introduce Qiana, a logic framework for reasoning on formulas that are true only in specific contexts. In Qiana, it is possible to quantify over both formulas and contexts to express, e.g., that ``everyone knows everything Alice says''. Qiana also permits paraconsistent logics within contexts, so that contexts can contain contradictions. Furthermore, Qiana is based on first-order logic, and is finitely axiomatizable, so that Qiana theories are compatible with pre-existing first-order logic theorem provers.

APA, Harvard, Vancouver, ISO, and other styles

4

Priyanka, V., Narla Surendranath Reddy, Gogineni Jeevana, and Mohd Aftab Arab. "Design of Arithmetic Logic Unit Using Reversible Logic Gates." In 2024 2nd World Conference on Communication & Computing (WCONF). IEEE, 2024. http://dx.doi.org/10.1109/wconf61366.2024.10692088.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Chen, Yi-Chen, and Shih-Hsu Huang. "Secure Control Logic Design for Dual Key Logic Locking." In 2024 IEEE Asia Pacific Conference on Circuits and Systems (APCCAS). IEEE, 2024. https://doi.org/10.1109/apccas62602.2024.10808395.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

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 text

Abstract:

Design features of SMART such as a large coolant inventory with a relatively low flow rate and the existence of a once-through steam generator require new steam control logic capable of coping with a prompt load change without inducing severe operational parameter fluctuations. A new MMS SMART model was developed to study the load-following capability and the system parameter manageability of three candidate control logics: the reactor leading, the turbine leading, and the feedwater leading logics. The MMS SMART model was composed of several interacting MMS modules with numerical data, each of

APA, Harvard, Vancouver, ISO, and other styles

7

Lu, Xu, Cong Tian, and Zhenhua Duan. "Temporalising Separation Logic for Planning with Search Control Knowledge." In Twenty-Sixth International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/162.

Full text

Abstract:

Temporal logics are widely adopted in Artificial Intelligence (AI) planning for specifying Search Control Knowledge (SCK). However, traditional temporal logics are limited in expressive power since they are unable to express spatial constraints which are as important as temporal ones in many planning domains. To this end, we propose a two-dimensional (spatial and temporal) logic namely PPTL^SL by temporalising separation logic with Propositional Projection Temporal Logic (PPTL). The new logic is well-suited for specifying SCK containing both spatial and temporal constraints which are useful in

APA, Harvard, Vancouver, ISO, and other styles

8

Belardinelli, 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}. International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/11.

Full text

Abstract:

We develop a logic-based technique to analyse finite interactions in multi-agent systems. We introduce a semantics for Alternating-time Temporal Logic (for both perfect and imperfect recall) and its branching-time fragments in which paths are finite instead of infinite. We study validities of these logics and present optimal algorithms for their model-checking problems in the perfect recall case.

APA, Harvard, Vancouver, ISO, and other styles

9

Quaiyum 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 text

APA, Harvard, Vancouver, ISO, and other styles

10

Benevides, 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 text

Abstract:

This work proposes an extension of Dynamic Epistemic Logic with Communication Actions by adding the notion of postconditions from Dynamic Epistemic Logic with Assigments to deal with boolean assignments to action models. Other concurrent logics, like Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek and Kooi, do not deal with boolean assignments. We present an axiomatization and show that the proof of soundness, completeness and decidability can be done using a reduction method.

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Logic"

1

Obua, Steven. Abstraction Logic. Recursive Mind, 2021. http://dx.doi.org/10.47757/abstraction.logic.2.

Full text

Abstract:

Abstraction Logic is introduced as a foundation for Practical Types and Practal. It combines the simplicity of ﬁrst-order logic with direct support for variable binding constants called abstractions. It also allows free variables to depend on parameters, which means that ﬁrst-order axiom schemata can be encoded as simple axioms. Conceptually abstraction logic is situated between ﬁrst-order logic and second-order logic. It is sound with respect to an intuitive and simple algebraic semantics. Completeness holds for both intuitionistic and classical abstraction logic, and all abstraction logics i

APA, Harvard, Vancouver, ISO, and other styles

2

Nguyen, Loc. Logic design using programmable logic devices. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.5987.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Garg, Deepak, and Michael C. Tschantz. From Indexed Lax Logic to Intuitionistic Logic. Defense Technical Information Center, 2008. http://dx.doi.org/10.21236/ada476728.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Tailor, Sanjay. Fuzzy Logic. Defense Technical Information Center, 1996. http://dx.doi.org/10.21236/ada310470.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Karri, Ramesh, Ozgur Sinanoglu, and Jeyavihayan Rajendran. Logic Encryption. Defense Technical Information Center, 2014. http://dx.doi.org/10.21236/ada595228.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Obua, Steven. Abstraction Logic. Steven Obua (as Recursive Mind), 2021. http://dx.doi.org/10.47757/abstraction.logic.1.

Full text

Abstract:

Abstraction Logic is introduced as a foundation for Practical Types and Practal. It combines the simplicity of ﬁrst-order logic with direct support for variable binding constants called abstractions. It also allows free variables to depend on parameters, which means that ﬁrst-order axiom schemata can be encoded as simple axioms. Conceptually abstraction logic is situated between ﬁrst-order logic and second-order logic. It is sound and complete with respect to an intuitive and simple algebraic semantics.

APA, Harvard, Vancouver, ISO, and other styles

7

Baader, Franz, and Anton Claußnitzer. Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count Extended Version. Technische Universität Dresden, 2025. https://doi.org/10.25368/2025.015.

Full text

Abstract:

In previous work it was shown that the logic ALC^ME , which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference. Here, we extend this result from the base logic ALC to two logics that can count, the two-variable fragment C2 of first-order logic (FOL) with counting quantifiers, and the DL ALCSCC, which is not a fragment of FOL. As an auxiliary result, we prove that model counting in ALCSCC can be realized in a domain-liftable way.

APA, Harvard, Vancouver, ISO, and other styles

8

Jaspan, Ciera, Trisha Quan, and Jonathan Aldrich. Error Reporting Logic. Defense Technical Information Center, 2008. http://dx.doi.org/10.21236/ada485458.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Carter, Nicholas P. Magnetoelectronic Reconfigurable Logic. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada444869.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Giesecke, Normen. Ternary quantum logic. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.5975.

Full text

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!