Mini bug fix for model theory, changelog, bump version

CHANGELOG.md

@@ -5,6 +5,10 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## [1.9.1] - 2024-02-21
+### Fixed
+- Mini bug fix in predicate model semantics (makes the valuation function more general)
+
 ## [1.9.0] - 2024-02-16
 ### Added
 - Random formula generator for predicate languages 

docs/source/conf.py

@@ -22,7 +22,7 @@
 author = 'Ariel Jonathan Roffe'
 
 # The full version, including alpha/beta/rc tags
-release = '1.9.0'
+release = '1.9.1'
 
 
 # -- General configuration ---------------------------------------------------

logics/classes/predicate/semantics/models.py

@@ -457,13 +457,13 @@ def valuation(self, formula, model, free_variable_denotation_dict=None):
             predicate = formula[0]
             predicate_denotation = model.denotation(predicate, free_variable_denotation_dict)
             # Denotations of the terms
-            # 1-ary
-            if self.language.arity(predicate) == 1:
+            # 1-ary predicate
+            if len(formula) == 2:
                 term_denotations = model.denotation(formula[1], free_variable_denotation_dict)
                 # Callable
                 if callable(predicate_denotation):
                     return predicate_denotation(term_denotations)
-            # >1-ary
+            # >1-ary predicate
             else:
                 term_denotations = tuple(model.denotation(x, free_variable_denotation_dict) for x in formula[1:])
                 # Callable

setup.cfg

@@ -1,6 +1,6 @@
 [metadata]
 name = logics
-version = 1.9.0
+version = 1.9.1
 author = Ariel Jonathan Roffé
 author_email = arielroffe@filo.uba.ar
 url = https://github.com/ariroffe/logics