Search

Your search keyword '"propositional logic"' showing total 1,551 results
Start Over Descriptor "propositional logic"
1,551 results on '"propositional logic"'

209. Logic in the NJKV Scripture. The Gospel According to Mark 16:16

Author

Kavinsky, V.V.

Subjects
Greek manuscript of the New Testament (edited by R. Stephanus, доказательство от противного, древнегреческий манускрипт Нового Завета (под ред. Р. Стефануса, логика высказываний, Священное Писание (NKJV), 1550), necessary and sufficient conditions, Holy Scriptures (NKJV), propositional logic, необходимые и достаточные условия, proof by contradiction
Abstract

The article proves that men's salvation is possible only through their faith and baptism. The study is based on one verse of the New Testament Scripture of the New Version of the King James Bible (NKJV)—the Gospel According to Mark 16:16. This verse is translated from the ancient Greek manuscript of the New Testament (edited by R. Stephanus, 1550). The main result is that the necessary and sufficient conditions for the salvation of each person are proved., В статье доказывается, что спасение человека возможно только через его веру и крещение. За основание исследования взят один стих Священного Писания Нового Завета новой версии Библии короля Иакова (NKJV) — Евангелие от Марка 16:16. Этот стих переведён из древнегреческого манускрипта Нового Завета (под ред. Р. Стефануса, 1550 г.). Главный результат — доказаны необходимые и достаточные условия для спасения каждого человека.

Published
2023
Full Text
View/download PDF

211. Propositional Logic

Author

Almeida, José Bacelar, Frade, Maria João, Pinto, Jorge Sousa, Melo de Sousa, Simão, Almeida, José Bacelar, Frade, Maria João, Pinto, Jorge Sousa, and Melo de Sousa, Simão

Published
2011
Full Text
View/download PDF

216. The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s 'Logical Approach to Discrete Math'

Author

Kahl, Wolfram, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Jouannaud, Jean-Pierre, editor, and Shao, Zhong, editor

Published
2011
Full Text
View/download PDF

217. Teaching Experience: Logic and Formal Methods with Coq

Author

Henz, Martin, Hobor, Aquinas, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Jouannaud, Jean-Pierre, editor, and Shao, Zhong, editor

Published
2011
Full Text
View/download PDF

218. Linkless Normal Form for Concepts and TBoxes

Author

Schon, Claudia, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Bach, Joscha, editor, and Edelkamp, Stefan, editor

Published
2011
Full Text
View/download PDF

219. On the Equivalence of Logic-Based Argumentation Systems

Author

Amgoud, Leila, Vesic, Srdjan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Benferhat, Salem, editor, and Grant, John, editor

Published
2011
Full Text
View/download PDF

220. Construction and SAT-Based Verification of Contextual Unfoldings

Author

Schwoon, Stefan, Rodríguez, César, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Holzer, Markus, editor, Kutrib, Martin, editor, and Pighizzini, Giovanni, editor

Published
2011
Full Text
View/download PDF

221. History-Dependent Inference Control of Queries by Dynamic Policy Adaption

Author

Biskup, Joachim, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Li, Yingjiu, editor

Published
2011
Full Text
View/download PDF

222. Dynamics in Delegation and Revocation Schemes: A Logical Approach

Author

Aucher, Guillaume, Barker, Steve, Boella, Guido, Genovese, Valerio, van der Torre, Leendert, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Li, Yingjiu, editor

Published
2011
Full Text
View/download PDF

223. Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems

Author

Shilov, Nikolay V., Garanina, Natalia O., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Wolff, Karl Erich, editor, Palchunov, Dmitry E., editor, Zagoruiko, Nikolay G., editor, and Andelfinger, Urs, editor

Published
2011
Full Text
View/download PDF

224. On the Proof Complexity of Cut-Free Bounded Deep Inference

Author

Das, Anupam, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Brünnler, Kai, editor, and Metcalfe, George, editor

Published
2011
Full Text
View/download PDF

225. A Teaching Tool for Proving Equivalences between Logical Formulae

Author

Lodder, Josje, Heeren, Bastiaan, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Blackburn, Patrick, editor, van Ditmarsch, Hans, editor, Manzano, María, editor, and Soler-Toscano, Fernando, editor

Published
2011
Full Text
View/download PDF

226. Visual Tools for Teaching Propositional Logic

Author

San Ginés, Aránzazu, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Blackburn, Patrick, editor, van Ditmarsch, Hans, editor, Manzano, María, editor, and Soler-Toscano, Fernando, editor

Published
2011
Full Text
View/download PDF

227. Logic in Action : An Open Logic Courseware Project

Author

Jaspars, Jan, Velázquez-Quesada, Fernando R., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Blackburn, Patrick, editor, van Ditmarsch, Hans, editor, Manzano, María, editor, and Soler-Toscano, Fernando, editor

Published
2011
Full Text
View/download PDF

228. On Influence and Contractions in Defeasible Logic Programming

Author

García, Diego R., Gottifredi, Sebastián, Krümpelmann, Patrick, Thimm, Matthias, Kern-Isberner, Gabriele, Falappa, Marcelo A., García, Alejandro J., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Delgrande, James P., editor, and Faber, Wolfgang, editor

Published
2011
Full Text
View/download PDF

229. Two Methods for Constructing Horn Contractions

Author

Zhuang, Zhi Qiang, Pagnucco, Maurice, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, and Li, Jiuyong, editor

Published
2011
Full Text
View/download PDF

234. Background and Overview

Author

Gabbay, Dov M., Rodrigues, Odinaldo T., Russo, Alessandra, Gabbay, Dov M., Rodrigues, Odinaldo T., and Russo, Alessandra

Published
2010
Full Text
View/download PDF

236. Gödel Logics – A Survey

Author

Preining, Norbert, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Fermüller, Christian G., editor, and Voronkov, Andrei, editor

Published
2010
Full Text
View/download PDF

237. On Slicewise Monotone Parameterized Problems and Optimal Proof Systems for TAUT

Author

Chen, Yijia, Flum, Jörg, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dawar, Anuj, editor, and Veith, Helmut, editor

Published
2010
Full Text
View/download PDF

238. Correspondences in the Theory of Aggregation

Author

Grossi, Davide, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Bonanno, Giacomo, editor, Löwe, Benedikt, editor, and van der Hoek, Wiebe, editor

Published
2010
Full Text
View/download PDF

239. Extending Syllogistic Reasoning

Author

van Rooij, Robert, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Aloni, Maria, editor, Bastiaanse, Harald, editor, de Jager, Tikitu, editor, and Schulz, Katrin, editor

Published
2010
Full Text
View/download PDF

241. Strategic Argumentation in Rigorous Persuasion Dialogue

Author

Devereux, Joseph, Reed, Chris, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, McBurney, Peter, editor, Rahwan, Iyad, editor, Parsons, Simon, editor, and Maudet, Nicolas, editor

Published
2010
Full Text
View/download PDF

246. A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS.

Author

MORASCHINI, TOMMASO

Subjects
*MATHEMATICAL logic, *SEMANTICS, *MATRICES (Mathematics), *PROPOSITIONAL calculus, *ALGEBRAIC logic, *OPERATOR theory
Abstract

Abstract algebraic logic is a theory that provides general tools for the algebraic study of arbitrary propositional logics. According to this theory, every logic L is associated with a matrix semantics Mod*L. This article is a contribution to the systematic study of the so-called truth sets of the matrices in Mod*L. In particular, we show that the fact that the truth sets of Mod*L can be defined by means of equations with universally quantified parameters is captured by an order-theoretic property of the Leibniz operator restricted to deductive filters of L This result was previously known for equational definability without parameters. Similarly, it was known that the truth sets of Mod*L are implicitly definable if and only if the Leibniz operator is injective on deductive filters of L over every algebra. However, it was an open problem whether the injectivity of the Leibniz operator transfers from the theories of L to its deductive filters over arbitrary algebras. We show that this is the case for logics expressed in a countable language, and that it need not be true in general. Finally we consider an intermediate condition on the truth sets in Mod*L that corresponds to the order-reflection of the Leibniz operator. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

247. Designing Behavioural Artificial Intelligence to Record, Assess and Evaluate Human Behaviour.

Author

Hildmann, Hanno

Subjects
ARTIFICIAL intelligence, HUMAN behavior, FORMAL sociology, RATIONAL choice theory, MODAL logic
Abstract

The context of the work presented in this article is the assessment and automated evaluation of human behaviour. To facilitate this, a formalism is presented which is unambiguous as well as such that it can be implemented and interpreted in an automated manner. In the greater scheme of things, comparable behaviour evaluation requires comparable assessment scenarios and, to this end, computer games are considered as controllable and abstract environments. Within this context, a model for behavioural AI is presented which was designed around the objectives of: (a) being able to play rationally; (b) adhering to formally stated behaviour preferences; and (c) ensuring that very specific circumstances can be forced to arise within a game. The presented work is based on established models from the field of behavioural psychology, formal logic as well as approaches from game theory and related fields. The suggested model for behavioural AI has been used to implement and test a game, as well as AI players that exhibit specific behavioural preferences. The overall aim of this article is to enable the readers to design their own AI implementation, using the formalisms and models they prefer and to a level of complexity they desire. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

248. Minimal Complete Propositional Natural Deduction Systems.

Author

Elnashar, Amr and Lotfallah, Wafik Boulos

Subjects
*NATURAL deduction (Logic), *PROOF theory, *PROPOSITIONAL calculus, *INFERENCE (Logic), *BOOLEAN algebra
Abstract

For each truth-functionally complete set of connectives, we construct a sound and complete natural deduction system containing no axioms and the smallest possible number of inference rules, namely one. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

249. Coalition formation in social environments with logic-based agents1.

Author

Alviano, Mario, Greco, Gianluigi, and Guzzo, Antonella

Subjects
*COALITIONS, *SOCIAL context, *GROUP decision making, *COMPUTATIONAL complexity, *INFORMATION technology
Abstract

Coalition formation is studied in a setting where agents take part to a group decision-making scenario and where their preferences are expressed via weighted propositional logic, in particular by considering formulas consisting of conjunctions of literals only. Interactions among agents are constrained by an underlying social environment and each agent is associated with a specific social factor determining to which extent she prefers staying in a coalition with other agents. In particular, the utilities of the agents depend not only on their absolute preferences but also on the number of "neighbors" occurring with them in the coalition that emerged. Within this setting, the computational complexity of a number of relevant reasoning tasks is studied, by charting a clear picture of the intrinsic difficulty of finding "agreements" among the agents. Specific algorithmic approaches to reason about such social environments are proposed under the utilitarian perspective, where the collective utility of a coalition is the sum of the utilities of the individuals, as well as under the egalitarian perspective, with the goal being to maximize the utility of the least satisfied agent. These algorithms have been implemented and results of experimental activity are discussed, too. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

250. Coalition formation in social environments with logic-based agents1.

Author

Alviano, Mario, Greco, Gianluigi, and Guzzo, Antonella

Subjects
COALITIONS, SOCIAL context, GROUP decision making, COMPUTATIONAL complexity, INFORMATION technology
Abstract

Coalition formation is studied in a setting where agents take part to a group decision-making scenario and where their preferences are expressed via weighted propositional logic, in particular by considering formulas consisting of conjunctions of literals only. Interactions among agents are constrained by an underlying social environment and each agent is associated with a specific social factor determining to which extent she prefers staying in a coalition with other agents. In particular, the utilities of the agents depend not only on their absolute preferences but also on the number of "neighbors" occurring with them in the coalition that emerged. Within this setting, the computational complexity of a number of relevant reasoning tasks is studied, by charting a clear picture of the intrinsic difficulty of finding "agreements" among the agents. Specific algorithmic approaches to reason about such social environments are proposed under the utilitarian perspective, where the collective utility of a coalition is the sum of the utilities of the individuals, as well as under the egalitarian perspective, with the goal being to maximize the utility of the least satisfied agent. These algorithms have been implemented and results of experimental activity are discussed, too. [ABSTRACT FROM AUTHOR]

Published
2018
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results