Results 51 to 60 of about 213 (142)
, 2010 In this thesis we examine the relationship between hypersequent and some types of labelled sequent calculi for a subset of intermediate logics—logics between intuitionistic (Int), and classical logics—that have geometric Kripke semantics, which we call ...
Rothenberg, Robert
core
Non-Kolmogorovian Probabilities and Quantum Technologies. [PDF]
Entropy (Basel), 2022 Holik FH.
europepmc +1 more source
A Logical Modeling of Severe Ignorance. [PDF]
J Philos Logic, 2023 Bonzio S +3 more
europepmc +1 more source
The rôle of metaphor in the teaching of computing; towards a taxonomy of pedagogic content knowledge
, 2004 The teaching of computing, like all subjects, requires a range of strategies to take the curriculum content (skills, knowledge, understanding and attitudes) and put it in a form that is more easily digested by learners.
Woollard, William John
core
Connecting the free energy principle with quantum cognition. [PDF]
Front Neurorobot, 2022 Gunji YP, Shinohara S, Basios V.
europepmc +1 more source
Data assimilation in operator algebras. [PDF]
Proc Natl Acad Sci U S A, 2023 Freeman D +4 more
europepmc +1 more source
Categorical Smoothness of 4-Manifolds from Quantum Symmetries and the Information Loss Paradox. [PDF]
Entropy (Basel), 2022 Król J, Asselmeyer-Maluga T.
europepmc +1 more source
Algebraic aspects of propositional logic
In this dissertation, we seek to examine the connection between abstract algebra and propositional logic. We start by considering the category Bool of Boolean algebras, the algebraic counterpart of classical propositional logic.
Leisegang, Nicholas
core
Information overload for (bounded) rational agents. [PDF]
Proc Biol Sci, 2021 Pothos EM +5 more
europepmc +1 more source
Evolution of Classical and Quantum States in the Groupoid Picture of Quantum Mechanics. [PDF]
Entropy (Basel), 2020 Ciaglia FM +3 more
europepmc +1 more source