Results 241 to 250 of about 368,601 (272)
Some of the next articles are maybe not open access.
Studia Logica, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kosta Došen, Miloš Adžić
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Kosta Došen, Miloš Adžić
openaire +2 more sources
WIREs Cognitive Science, 1999
AbstractThis article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation and the connectivesif, or, andand. It considers the various ways in which computer scientists have written programs to prove the validity of inferences in this and other domains.
openaire +3 more sources
AbstractThis article begins with an account of logic, and of how logicians formulate formal rules of inference for the sentential calculus, which hinges on analogs of negation and the connectivesif, or, andand. It considers the various ways in which computer scientists have written programs to prove the validity of inferences in this and other domains.
openaire +3 more sources
Bulletin of Symbolic Logic, 1996
AbstractThis is an exposition of Lambek's strengthening and generalization of the deduction theorem in categories related to intuitionistic propositional logic. Essential notions of category theory are introduced so as to yield a simple reformulation of Lambek's Functional Completeness Theorem, from which its main consequences can be readily drawn. The
openaire +2 more sources
AbstractThis is an exposition of Lambek's strengthening and generalization of the deduction theorem in categories related to intuitionistic propositional logic. Essential notions of category theory are introduced so as to yield a simple reformulation of Lambek's Functional Completeness Theorem, from which its main consequences can be readily drawn. The
openaire +2 more sources
2023
Abstract Peirce maintains that in valid deductions the conclusion is virtually asserted in the premises. Accordingly, in evaluating whether a deduction is valid, one is to take account not only of the formal structure of the inference but also of the meaning of the words used in drawing the inference.
openaire +1 more source
Abstract Peirce maintains that in valid deductions the conclusion is virtually asserted in the premises. Accordingly, in evaluating whether a deduction is valid, one is to take account not only of the formal structure of the inference but also of the meaning of the words used in drawing the inference.
openaire +1 more source
To theorize the present condition of trans women under unprecedented historical surveillance, this chapter examines the ambivalence and erotic deflation of a “stoner neo-noir” cinema subgenre. This genre’s principles were sketched in 1970s noir revival movies (Chinatown, The Long Goodbye) and became a staple of later output (The Big Lebowski, Inherent ...
openaire +1 more source
openaire +1 more source
2018
This chapter introduces deduction as a foundational method of reasoning essential in legal and nonlegal arguments. It explains that deduction leads from a generalization to a specific conclusion through valid syllogistic forms such as categorical, quasi, and hypothetical syllogisms.
openaire +1 more source
This chapter introduces deduction as a foundational method of reasoning essential in legal and nonlegal arguments. It explains that deduction leads from a generalization to a specific conclusion through valid syllogistic forms such as categorical, quasi, and hypothetical syllogisms.
openaire +1 more source