Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

John Corcoran was a very well-known logician who worked on several areas of logic. He produced decisive works giving a better understanding of two major figures in the history of logic, Aristotle and Boole. Corcoran had a close association with Alfred Tarski, a prominent 20th-century logician. This collaboration manifested in Corcoran's substantial introduction to Tarski's seminal book, Logic, Semantics, Metamathematics (1956). Additionally, Corcoran's posthumous editorial involvement in 'What are logical notions?' (1986) breathed new life into this seminal paper authored by Tarski. His scholarly pursuits extended to the intricate explication of fundamental concepts in modern logic, including variables, propositions, truth, consequences, and categoricity. Corcoran's academic curiosity extended further to the intersection of ethics and logic, reflecting his contemplation of their interrelation. Beyond these theoretical contributions, Corcoran was deeply engaged in the pedagogical dimensions of logic instruction. This volume serves as a compilation of articles contributed by Corcoran's students, colleagues, and international peers. By encompassing a diverse range of subjects, this collection aptly mirrors Corcoran's wide-ranging interests, offering insights that not only deepen our understanding of his work but also advance the theoretical frameworks he explored.

Mathematical logic. --- Mathematics. --- History. --- Logic. --- General Logic. --- History of Mathematical Sciences. --- Formal Logic. --- Philosophical Logic. --- Logic, Symbolic and mathematical. --- Reasoning.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book provides a comprehensive introduction to the essential elements of standard (classical) symbolic logic. Key topics covered include: · The characteristic nature and scope of logic as a discipline · The construction of a series of distinctly named formal languages suitable for formal translation · Semantic models · The construction of decision procedures · The execution of proof-theoretic arrangements like natural deduction and proof-sequent systems The book covers both the semantics and proof theory of the standard sentential (propositional) logic and predicate (first-order) logic. Other topics covered include: parsing trees, extraction of alternative notations (for instance, Polish notation), Fitch-style proof-theory, sequent and 'tree' proof systems, comparisons and contrasts with intuitionistic logic, and presentations of predicate logic models. An ancillary chapter on elements of set theory is conveniently placed at the end and includes insights into the Zermelo-Fraenkel systematization of set theory. The philosophy of logic is also explored. Exercises in the text provide instruction on mathematical induction for the construction of formula, tests for the well-formedness of Polish notation, and functional completeness. Symbolic Logic is essential reading for all philosophy students taking intermediate level formal logic courses and will also appeal to diligent first year students of logic. The text is replete with exercises on both the formal machinery and the philosophical aspects of logic.

Logic, Symbolic and mathematical. --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Logic. --- Formal Logic. --- Philosophical Logic.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.

Automatic theorem proving --- Computer logic --- artificial intelligence --- automata theory --- computer hardware --- computer networks --- computer programming --- computer systems --- embedded systems --- formal languages --- formal logic --- logic programming --- network protocols --- semantics --- software architecture --- software design --- software engineering --- theoretical computer science --- Demostració automàtica de teoremes. --- Lògica informàtica

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.

Computer software --- Verification --- architecting --- architecture verification and validation --- artificial intelligence --- computer programming --- computer science --- computer systems --- databases --- distributed computer systems --- embedded systems --- engineering --- formal languages --- formal logic --- linguistics --- mathematics --- model checking --- software architecture --- software design --- software engineering --- software quality --- theoretical computer science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume clusters together issues centered upon the variety of types of intensional semantics. Consisting of 10 contributions, the volume is based on papers presented at the Trends in Logic 2019 conference. The various chapters introduce readers to the topic, or apply new types of logical semantics to elucidate subtleties of logical systems and natural language semantics. The book introduces hyperintentional systems that aim at solving some open philosophical problems. Specifically, the first three studies focus on relating semantics, while the following ones discuss fundamental issues related to hyper-intensional semantics or develop hyper-intensional frameworks to address issues in modal, epistemic, deontic and action logic. Authors in this volume present original results on logical systems but also extend beyond this by offering philosophical considerations on the topic as well. This volume will appeal to students and researchers in the field of logic. .

Logic. --- Language and languages—Philosophy. --- Philosophy. --- Philosophy of Language. --- Philosophy, general. --- Mental philosophy --- Humanities --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Semantics (Philosophy) --- Language and logic. --- Linguistics and logic --- Logic in language --- Language and languages --- Logic --- Semantics --- Intension (Philosophy) --- Logical semantics --- Semantics (Logic) --- Semeiotics --- Significs --- Syntactics --- Unified science --- Logic, Symbolic and mathematical --- Logical positivism --- Meaning (Psychology) --- Philosophy, Modern --- Semiotics --- Signs and symbols --- Symbolism --- Analysis (Philosophy) --- Definition (Philosophy) --- Formal Logic. --- Philosophical Logic.