1 | Manidipa Sanyal, Paraconsistency - a non-deviant system |
2 | Debirupa Basu, Pure Imperative Arguments and their Validity |
3 | Anahit Chubaryan and Armine Chubaryan, Comparative analysis of proof complexities for strongly equal tautologies in some proof systems of different logics |
4 | Abhisekh Sankaran, Bharat Adsul and Supratik Chakraborty, A Generalization of the {\L}o{\'s}-Tarski Preservation Theorem |
5 | Cameron Freer, Computable invariant measures and algorithmically random structures |
6 | Jorge Cely, Applications of motivic integration to the fundamental lemma. |
7 | Inkyo Chung, Problems for Dummett's and Prawitz's Proof-Theoretic Accounts of Validity |
8 | Alexander P. Kreuzer, On iteration principles between Σ1- and Σ2-induction |
9 | Jayanta Sen and Anirban Saha, Connection between Linear logic and Rough logic |
10 | Minghui Ma and Zhe Lin, RESIDUATED BASIC LOGIC |
11 | Yaron Shorr, Uddyotakara's logical model for constructing sound arguments |
12 | Sebastian Enqvist and Sumit Sourabh, Bisimulation for topological coalgebras |
13 | Emmanuel Genot and Justine Jacot, Game Semantics: A Cognitive Approach |
14 | Yanjing Wang, Beyond "knowing that": non-standard epistemic logics |
15 | Mani A, Probabilistic vs Rough Dependence |
16 | Purbita Jana and Mihir Chakraborty, Categorical relationships of fuzzy topological systems on fuzzy sets with fuzzy topological spaces on fuzzy sets and underlying algebras: A step towards many valued geometric logic |
17 | Siddhartha Gadgil and Venkata Hanumanta Prathamesh Turaga, Knots Braids and First Order Logic |
18 | Junguk Lee, Computation of H_1 in a circle with a distance notion |
19 | Woosik Hyun, Gödel’s Philosophy of Mathematics: From Epistemology to Ontology |
20 | Ranjan Mukhopadhyay, Validity and Novelty |
21 | Tamoghna Halder, Investigating the Types of Strategic Reasoners through an Empirical Study |
22 | Dmitrii Smelianskiy, Effectivity properties of intuitionistic set theory extended by various constructive principles |
23 | Hyeungjoon Kim, Preservation of NTP_2 and strongness under the expansion by a dense/co-dense unary predicate |
24 | Norbert Gratzl and Olivier Roy, On the relation between the logics of belief and knowledge |
25 | Rohit Parikh and Yunqi Xue, Expert Influence in a Community |
26 | Ningyuan Yao and Anand Pillay, minimal subflows for definably amenable groups in o-minimal theories |
27 | Sankha Basu and Stephen Simpson, Mass problems and intuitionistic higher-order logic |
28 | Priyedarshi Jetli, An Alternative Tarskian Demonstration of Liar’s Antinomy without Double Negation |
29 | Gayatri Panicker, Venkata Krishna Kanduru and Purandar Bhaduri, A study on if-then-else over a ternary logic |
30 | A V Sreejith and Kamal Lodaya, Counting quantifiers and linear arithmetic on word models |
31 | Satoru Suzuki, Logic of Qualitative Conditional Probability and Nonstandard Probability |
32 | Murali Ramachandran, How and Why I arrived at a Topsy Turvy Account of Even If |
33 | Soma Dutta, A binary relation generating the notion of consistency: classical and fuzzy contexts |